Lines Matching refs:getDocument
680 Document doc = editor.getDocument();
792 Document doc = editor.getDocument();
830 editor.getDocument().removeDocumentListener(updateHandler);
876 Document doc = editor.getDocument();
903 Document doc = editor.getDocument();
938 Document doc = editor.getDocument();
962 Document doc = editor.getDocument();
1039 Document doc = editor.getDocument();
1093 Document doc = editor.getDocument();
1117 Document doc = editor.getDocument();
1164 Document doc = t.getDocument();
1231 Document doc = editor.getDocument();
1639 public Document getDocument() {
1640 return editor.getDocument();
1676 return editor.getDocument().getDefaultRootElement();
1847 Document doc = e.getDocument();
1957 Document doc = editor.getDocument();
2286 Document doc = c.getDocument();
2553 Document doc = c.getDocument();
2587 Document doc = c.getDocument();