Lines Matching refs:getDocument
94 * myArea.getDocument().addDocumentListener(myListener);
267 Document doc = getDocument();
283 Document doc = getDocument();
373 Document doc = getDocument();
379 Element map = getDocument().getDefaultRootElement();
390 Element map = getDocument().getDefaultRootElement();
409 throw new BadLocationException("No such line", getDocument().getLength()+1);
411 Element map = getDocument().getDefaultRootElement();
432 throw new BadLocationException("No such line", getDocument().getLength()+1);
434 Element map = getDocument().getDefaultRootElement();
456 Document doc = getDocument();
474 Document doc = getDocument();
500 Document doc = getDocument();