public class Searcher
extends java.lang.Object
implements javax.swing.event.DocumentListener, javax.swing.event.ChangeListener, java.awt.event.ComponentListener
Modifier and Type | Field and Description |
---|---|
private int |
currentMatch |
private java.util.List<javax.swing.text.Highlighter.Highlight> |
highlights |
private static org.apache.commons.logging.Log |
LOG |
private javax.swing.Action |
nextAction |
private static javax.swing.text.Highlighter.HighlightPainter |
PAINTER |
private javax.swing.Action |
previousAction |
private SearchEngine |
searchEngine |
private SearchPanel |
searchPanel |
private static javax.swing.text.Highlighter.HighlightPainter |
SELECTION_PAINTER |
private javax.swing.text.JTextComponent |
textComponent |
private int |
totalMatch |
Constructor and Description |
---|
Searcher(javax.swing.text.JTextComponent textComponent)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
addMenuListeners(PDFDebugger frame) |
void |
changedUpdate(javax.swing.event.DocumentEvent documentEvent) |
private void |
changeHighlighter(int index,
javax.swing.text.Highlighter.HighlightPainter newPainter) |
void |
componentHidden(java.awt.event.ComponentEvent componentEvent) |
void |
componentMoved(java.awt.event.ComponentEvent componentEvent) |
void |
componentResized(java.awt.event.ComponentEvent componentEvent) |
void |
componentShown(java.awt.event.ComponentEvent componentEvent) |
javax.swing.JPanel |
getSearchPanel() |
void |
insertUpdate(javax.swing.event.DocumentEvent documentEvent) |
void |
removeMenuListeners(PDFDebugger frame) |
void |
removeUpdate(javax.swing.event.DocumentEvent documentEvent) |
private void |
scrollToWord(int offset) |
private void |
search(javax.swing.event.DocumentEvent documentEvent) |
private void |
search(java.lang.String word) |
void |
stateChanged(javax.swing.event.ChangeEvent changeEvent) |
private void |
updateHighLighter(int presentIndex,
int previousIndex) |
private void |
updateNavigationButtons() |
private static final org.apache.commons.logging.Log LOG
private static final javax.swing.text.Highlighter.HighlightPainter PAINTER
private static final javax.swing.text.Highlighter.HighlightPainter SELECTION_PAINTER
private final SearchEngine searchEngine
private final SearchPanel searchPanel
private final javax.swing.text.JTextComponent textComponent
private int totalMatch
private int currentMatch
private java.util.List<javax.swing.text.Highlighter.Highlight> highlights
private final javax.swing.Action previousAction
private final javax.swing.Action nextAction
public Searcher(javax.swing.text.JTextComponent textComponent)
textComponent
- JTextComponent instance.public javax.swing.JPanel getSearchPanel()
public void insertUpdate(javax.swing.event.DocumentEvent documentEvent)
insertUpdate
in interface javax.swing.event.DocumentListener
public void removeUpdate(javax.swing.event.DocumentEvent documentEvent)
removeUpdate
in interface javax.swing.event.DocumentListener
public void changedUpdate(javax.swing.event.DocumentEvent documentEvent)
changedUpdate
in interface javax.swing.event.DocumentListener
private void search(javax.swing.event.DocumentEvent documentEvent)
private void search(java.lang.String word)
private void updateNavigationButtons()
private void scrollToWord(int offset)
private void updateHighLighter(int presentIndex, int previousIndex)
private void changeHighlighter(int index, javax.swing.text.Highlighter.HighlightPainter newPainter)
public void stateChanged(javax.swing.event.ChangeEvent changeEvent)
stateChanged
in interface javax.swing.event.ChangeListener
public void componentResized(java.awt.event.ComponentEvent componentEvent)
componentResized
in interface java.awt.event.ComponentListener
public void componentMoved(java.awt.event.ComponentEvent componentEvent)
componentMoved
in interface java.awt.event.ComponentListener
public void componentShown(java.awt.event.ComponentEvent componentEvent)
componentShown
in interface java.awt.event.ComponentListener
public void componentHidden(java.awt.event.ComponentEvent componentEvent)
componentHidden
in interface java.awt.event.ComponentListener
public void addMenuListeners(PDFDebugger frame)
public void removeMenuListeners(PDFDebugger frame)