< 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 >