public final class Finder
extends java.lang.Object
When the Finder is no longer used, dispose() must be called to free up resources.
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
HIGHLIGHT_FIND_RESULT |
Modifier and Type | Method and Description |
---|---|
static void |
clearHighlights(BasicEditorPane editor)
Remove all find highlights from the editor
|
static void |
dispose(BasicEditorPane editor)
Clean up an editor when finding in it is no longer needed.
|
static FindResult |
find(BasicEditorPane editor,
FindCriteria criteria)
Find according to the passed parameters.
|
static HighlightStyle |
getFindStyle() |
static FindResult |
getLatestFindResult(BasicEditorPane editor)
Get the FindResult for the given editor created by the latest call to find.
|
static boolean |
hasHighlights(BasicEditorPane editor) |
static void |
highlight(BasicEditorPane editor,
java.util.List<Find> finds) |
static void |
main(java.lang.String[] args) |
public static final java.lang.String HIGHLIGHT_FIND_RESULT
public static void dispose(BasicEditorPane editor)
editor
- public static HighlightStyle getFindStyle()
public static void highlight(BasicEditorPane editor, java.util.List<Find> finds)
public static boolean hasHighlights(BasicEditorPane editor)
public static void clearHighlights(BasicEditorPane editor)
editor
- public static FindResult find(BasicEditorPane editor, FindCriteria criteria)
editor
- the editor in which to do the findingcriteria
- what to look for.public static FindResult getLatestFindResult(BasicEditorPane editor)
editor
- public static void main(java.lang.String[] args)