(DocumentEvent e)
| 208 | sizeSelector = new JTextField(" 48 "); |
| 209 | sizeSelector.getDocument().addDocumentListener(new DocumentListener() { |
| 210 | public void insertUpdate(DocumentEvent e) { update(); } |
| 211 | public void removeUpdate(DocumentEvent e) { update(); } |
| 212 | public void changedUpdate(DocumentEvent e) { } |
| 213 | }); |