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
- skips
- public static ReplaceResult skip(BasicEditorPane editor, FindCriteria criteria)
editor
- criteria
- public static void clearHighlights(BasicEditorPane editor)
editor
- public static boolean hasHighlights(BasicEditorPane editor)