()
| 1540 | if (document == null) { // this document not yet inited |
| 1541 | document = new SyntaxDocument() { |
| 1542 | @Override |
| 1543 | public void beginCompoundEdit() { |
| 1544 | if (compoundEdit == null) |
| 1545 | startCompoundEdit(); |
| 1546 | super.beginCompoundEdit(); |
| 1547 | } |
| 1548 | |
| 1549 | @Override |
| 1550 | public void endCompoundEdit() { |
nothing calls this directly
no test coverage detected