1 | void insertUpdate(DocumentEvent event) {↵ | | 1 | void insertUpdate(DocumentEvent event) {↵
|
2 | Document doc = event.getDocument();↵ | | 2 | Document doc = event.getDocument();↵
|
3 | try {↵ | | 3 | try {↵
|
4 | lastFilter = doc.getText(0, doc.getLength());↵ | | 4 | lastFilter = doc.getText(0, doc.getLength());↵
|
5 | filter(lastFilter);↵ | | 5 | filter(lastFilter);↵
|
6 | } catch (BadLocationException ble) {↵ | | 6 | } catch (BadLocationException ble) {↵
|
7 | System.err.println("Bad location: " + ble);↵ | | 7 | System.err.println("Bad location: " + ble);↵
|
8 | }↵ | | 8 | }↵
|
9 | }↵ | | 9 | }↵
|
|
10 | public void removeUpdate(DocumentEvent event) {↵ | | 10 | public void removeUpdate(DocumentEvent event) {↵
|
11 | Document doc = event.getDocument();↵ | | 11 | Document doc = event.getDocument();↵
|
12 | try {↵ | | 12 | try {↵
|
13 | lastFilter = doc.getText(0, doc.getLength());↵ | | 13 | lastFilter = doc.getText(0, doc.getLength());↵
|
14 | filter(lastFilter);↵ | | 14 | filter(lastFilter);↵
|
15 | } catch (BadLocationException ble) {↵ | | 15 | } catch (BadLocationException ble) {↵
|
16 | System.err.println("Bad location: " + ble);↵ | | 16 | System.err.println("Bad location: " + ble);↵
|
17 | }↵ | | 17 | }↵
|
18 | | | 18 |
|