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)