(DocumentEvent e)
| 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 | }); |
| 168 | panel.add(sizeSelector); |