class ViewExtractorPattern.ExtractorEditorFilter
extends javax.swing.text.DocumentFilter
Modifier and Type | Field and Description |
---|---|
(package private) javax.swing.JTextPane |
editor |
(package private) ExtractorPattern |
extractor |
(package private) javax.swing.undo.UndoManager |
undoManager |
Constructor and Description |
---|
ExtractorEditorFilter(javax.swing.JTextPane ed,
ExtractorPattern ex) |
Modifier and Type | Method and Description |
---|---|
void |
clearUndo() |
void |
insertString(javax.swing.text.DocumentFilter.FilterBypass fb,
int offs,
java.lang.String str,
javax.swing.text.AttributeSet a) |
void |
remove(javax.swing.text.DocumentFilter.FilterBypass fb,
int offset,
int length) |
void |
replace(javax.swing.text.DocumentFilter.FilterBypass fb,
int offset,
int length,
java.lang.String text,
javax.swing.text.AttributeSet attrs) |
void |
updateTokenColors(ExtractorPattern extractor,
javax.swing.text.StyledDocument doc) |
javax.swing.JTextPane editor
ExtractorPattern extractor
final javax.swing.undo.UndoManager undoManager
ExtractorEditorFilter(javax.swing.JTextPane ed, ExtractorPattern ex)
public void clearUndo()
public void insertString(javax.swing.text.DocumentFilter.FilterBypass fb, int offs, java.lang.String str, javax.swing.text.AttributeSet a) throws javax.swing.text.BadLocationException
insertString
in class javax.swing.text.DocumentFilter
javax.swing.text.BadLocationException
public void replace(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length, java.lang.String text, javax.swing.text.AttributeSet attrs) throws javax.swing.text.BadLocationException
replace
in class javax.swing.text.DocumentFilter
javax.swing.text.BadLocationException
public void remove(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length) throws javax.swing.text.BadLocationException
remove
in class javax.swing.text.DocumentFilter
javax.swing.text.BadLocationException
public void updateTokenColors(ExtractorPattern extractor, javax.swing.text.StyledDocument doc)