()
| 1801 | if (document == null) { // this document not yet inited |
| 1802 | document = new SyntaxDocument() { |
| 1803 | @Override |
| 1804 | public void beginCompoundEdit() { |
| 1805 | if (compoundEdit == null) |
| 1806 | startCompoundEdit(); |
| 1807 | super.beginCompoundEdit(); |
| 1808 | } |
| 1809 | |
| 1810 | @Override |
| 1811 | public void endCompoundEdit() { |
nothing calls this directly
no test coverage detected