public final class Replacer
extends java.lang.Object
| Modifier and Type | Field and Description | 
|---|---|
static java.lang.String | 
HIGHLIGHT_REPLACE_RESULT  | 
static java.lang.String | 
HIGHLIGHT_SKIP_RESULT  | 
| Constructor and Description | 
|---|
Replacer()  | 
| Modifier and Type | Method and Description | 
|---|---|
static void | 
clearHighlights(BasicEditorPane editor)
Remove all replace highlights from the editor 
 | 
static boolean | 
hasHighlights(BasicEditorPane editor)  | 
static ReplaceResult | 
replace(BasicEditorPane editor,
       ReplaceCriteria criteria)
Replace according to the 
 | 
static ReplaceResult | 
skip(BasicEditorPane editor,
    FindCriteria criteria)
Mark the current find as 'skipped' and move to the next find. 
 | 
public static final java.lang.String HIGHLIGHT_SKIP_RESULT
public static final java.lang.String HIGHLIGHT_REPLACE_RESULT
public static ReplaceResult replace(BasicEditorPane editor, ReplaceCriteria criteria)
editor - criteria - public static ReplaceResult skip(BasicEditorPane editor, FindCriteria criteria)
editor - criteria - public static void clearHighlights(BasicEditorPane editor)
editor - public static boolean hasHighlights(BasicEditorPane editor)