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