Searched refs:changeHighlight (Results 1 - 5 of 5) sorted by relevance
| /openjdk7/jdk/src/share/classes/javax/swing/text/ |
| H A D | Highlighter.java | 100 public void changeHighlight(Object tag, int p0, int p1) throws BadLocationException; method in interface:Highlighter
|
| H A D | DefaultCaret.java | 1119 h.changeHighlight(selectionTag, p0, p1);
1679 component.getHighlighter().changeHighlight(selectionTag,
1760 component.getHighlighter().changeHighlight(selectionTag,
|
| H A D | DefaultHighlighter.java | 227 public void changeHighlight(Object tag, int p0, int p1) throws BadLocationException { method in class:DefaultHighlighter
|
| /openjdk7/jdk/test/javax/swing/text/DefaultHighlighter/6771184/ |
| H A D | bug6771184.java | 75 highlighter.changeHighlight(objRef, data[0], data[1]);
77 throw new RuntimeException("Method changeHighlight() does not throw BadLocationException for (" +
|
| /openjdk7/jdk/src/share/classes/javax/swing/text/html/ |
| H A D | HTMLEditorKit.java | 1996 h.changeHighlight(kit.linkNavigationTag, p0, p1);
|
Completed in 736 milliseconds