Searched refs:EditableAtEndDocument (Results 1 - 3 of 3) sorted by relevance

/openjdk10/hotspot/src/jdk.hotspot.agent/share/classes/sun/jvm/hotspot/ui/
H A DDebuggerConsolePanel.java60 editor.setDocument(new EditableAtEndDocument());
138 EditableAtEndDocument d = (EditableAtEndDocument) editor.getDocument();
146 ((EditableAtEndDocument) editor.getDocument()).setMark();
151 String s = ((EditableAtEndDocument) editor.getDocument()).getMarkedText();
H A DCommandProcessorPanel.java62 editor.setDocument(new EditableAtEndDocument());
150 EditableAtEndDocument d = (EditableAtEndDocument) editor.getDocument();
158 ((EditableAtEndDocument) editor.getDocument()).setMark();
163 String s = ((EditableAtEndDocument) editor.getDocument()).getMarkedText();
H A DEditableAtEndDocument.java36 public class EditableAtEndDocument extends PlainDocument { class in inherits:PlainDocument

Completed in 155 milliseconds