< prev index next >
src/com/sun/javatest/exec/TP_PropertySubpanel.java
Print this page
*** 114,124 ****
{
Table(UIFactory uif) {
addComponentListener(this);
setLayout(null);
setBackground(Color.white);
! entries = new TreeMap();
// space to go around text
Border bsp = BorderFactory.createEmptyBorder(2, 4, 2, 4); // top, left, bottom, right
// Border for head components, including head corner above possible scrollbar
--- 114,124 ----
{
Table(UIFactory uif) {
addComponentListener(this);
setLayout(null);
setBackground(Color.white);
! entries = new TreeMap<>();
// space to go around text
Border bsp = BorderFactory.createEmptyBorder(2, 4, 2, 4); // top, left, bottom, right
// Border for head components, including head corner above possible scrollbar
*** 142,152 ****
valueLabel.setText(valueTitle);
}
void updateEntry(String key, String value) {
//System.err.println("TP_PS.Table: updateEntry " + key + "=" + value);
! Entry e = (Entry) (entries.get(key));
if (e == null) {
e = new Entry(key, value);
entries.put(key, e);
maxNameStringWidth = Math.max(maxNameStringWidth, getFontMetrics(getFont()).stringWidth(key));
}
--- 142,152 ----
valueLabel.setText(valueTitle);
}
void updateEntry(String key, String value) {
//System.err.println("TP_PS.Table: updateEntry " + key + "=" + value);
! Entry e = entries.get(key);
if (e == null) {
e = new Entry(key, value);
entries.put(key, e);
maxNameStringWidth = Math.max(maxNameStringWidth, getFontMetrics(getFont()).stringWidth(key));
}
*** 353,363 ****
scrollPane.setColumnHeaderView(null);
}
}
}
! private SortedMap entries;
private int maxNameStringWidth = 100;
private JTextField nameLabel;
private JTextField valueLabel;
private Border headBorder;
private Border bodyBorder;
--- 353,363 ----
scrollPane.setColumnHeaderView(null);
}
}
}
! private SortedMap<String, Entry> entries;
private int maxNameStringWidth = 100;
private JTextField nameLabel;
private JTextField valueLabel;
private Border headBorder;
private Border bodyBorder;
< prev index next >