(DocumentEvent e)
| 162 | sizeSelector = new JTextField(" 48 "); |
| 163 | sizeSelector.getDocument().addDocumentListener(new DocumentListener() { |
| 164 | public void insertUpdate(DocumentEvent e) { update(); } |
| 165 | public void removeUpdate(DocumentEvent e) { update(); } |
| 166 | public void changedUpdate(DocumentEvent e) { } |
| 167 | }); |