public class Markers
extends java.lang.Object
| Modifier and Type | Class | Description |
|---|---|---|
static class |
Markers.SimpleMarker |
| Constructor | Description |
|---|---|
Markers() |
| Modifier and Type | Method | Description |
|---|---|---|
static void |
markAll(javax.swing.text.JTextComponent pane,
java.util.regex.Pattern pattern,
Markers.SimpleMarker marker) |
Mark all text in the document that matches the given pattern
|
static void |
markText(javax.swing.text.JTextComponent pane,
int start,
int end,
Markers.SimpleMarker marker) |
add highlights for the given region on the given pane
|
static void |
markToken(javax.swing.text.JTextComponent pane,
Token token,
Markers.SimpleMarker marker) |
add highlights for the given Token on the given pane
|
static void |
removeMarkers(javax.swing.text.JTextComponent editorPane) |
Remove all the markers from an JEditorPane
|
static void |
removeMarkers(javax.swing.text.JTextComponent component,
Markers.SimpleMarker marker) |
Removes only our private highlights
This is public so that we can remove the highlights when the editorKit
is unregistered.
|
public static void removeMarkers(javax.swing.text.JTextComponent component,
Markers.SimpleMarker marker)
component - the text component whose markers are to be removedmarker - the SimpleMarker to removepublic static void removeMarkers(javax.swing.text.JTextComponent editorPane)
editorPane - public static void markToken(javax.swing.text.JTextComponent pane,
Token token,
Markers.SimpleMarker marker)
pane - token - marker - public static void markText(javax.swing.text.JTextComponent pane,
int start,
int end,
Markers.SimpleMarker marker)
pane - start - end - marker - public static void markAll(javax.swing.text.JTextComponent pane,
java.util.regex.Pattern pattern,
Markers.SimpleMarker marker)
pane - control to usepattern - pattern to matchmarker - marker to use for highlighting