Searched refs:replaceRange (Results 1 - 8 of 8) sorted by relevance
/openjdk7/jdk/src/share/classes/java/awt/peer/ |
H A D | TextAreaPeer.java | 58 * @see TextArea#replaceRange(String, int, int) 60 void replaceRange(String text, int start, int end); method in interface:TextAreaPeer
|
/openjdk7/jdk/src/windows/classes/sun/awt/windows/ |
H A D | WTextAreaPeer.java | 49 public void replaceRange(String txt, int start, int end) { method in class:WTextAreaPeer 84 * DEPRECATED but, for now, still called by replaceRange(String, int, int).
|
/openjdk7/jdk/src/macosx/classes/sun/lwawt/ |
H A D | LWTextAreaPeer.java | 132 public void replaceRange(final String text, final int start, method in class:LWTextAreaPeer 135 // JTextArea.replaceRange() posts two different events. 138 // JTextArea.replaceRange() is called. 141 getDelegate().getView().replaceRange(text, start, end);
|
/openjdk7/jdk/test/java/awt/event/TextEvent/TextEventSequenceTest/ |
H A D | TextEventSequenceTest.java | 63 t.replaceRange("Java Duke", 18, 28);
|
/openjdk7/jdk/src/share/classes/java/awt/ |
H A D | TextArea.java | 308 * @see java.awt.TextArea#replaceRange 376 public void replaceRange(String str, int start, int end) { method in class:TextArea 382 * replaced by <code>replaceRange(String, int, int)</code>. 388 peer.replaceRange(str, start, end);
|
/openjdk7/jdk/src/share/classes/javax/swing/text/ |
H A D | GapContent.java | 653 protected void replaceRange(int start, int end, Object[] marks) { method in class:GapContent.MarkVector 818 marks.replaceRange(startIndex, endIndex, sorted);
|
/openjdk7/jdk/src/share/classes/javax/swing/ |
H A D | JTextArea.java | 453 * @see #replaceRange 494 * @see #replaceRange 496 public void replaceRange(String str, int start, int end) { method in class:JTextArea
|
/openjdk7/jdk/src/solaris/classes/sun/awt/X11/ |
H A D | XTextAreaPeer.java | 505 public void replaceRange(String txt, int s, int e) { method in class:XTextAreaPeer 507 // JTextArea.replaceRange() posts two different events. 510 // JTextArea.replaceRange() is called. 512 jtext.replaceRange(txt, s, e); 547 replaceRange(txt, start, end);
|
Completed in 81 milliseconds