(DocumentEvent e)
| 753 | if (doc != null) { |
| 754 | doc.addDocumentListener(new DocumentListener() { |
| 755 | @Override |
| 756 | public void insertUpdate(DocumentEvent e) { |
| 757 | sketchChanged(); |
| 758 | } |
| 759 | |
| 760 | @Override |
| 761 | public void removeUpdate(DocumentEvent e) { |
nothing calls this directly
no test coverage detected