Class Searcher

  • All Implemented Interfaces:
    java.awt.event.ComponentListener, java.util.EventListener, javax.swing.event.ChangeListener, javax.swing.event.DocumentListener

    public class Searcher
    extends java.lang.Object
    implements javax.swing.event.DocumentListener, javax.swing.event.ChangeListener, java.awt.event.ComponentListener
    • Field Detail

      • LOG

        private static final org.apache.commons.logging.Log LOG
      • PAINTER

        private static final javax.swing.text.Highlighter.HighlightPainter PAINTER
      • SELECTION_PAINTER

        private static final javax.swing.text.Highlighter.HighlightPainter SELECTION_PAINTER
      • textComponent

        private final javax.swing.text.JTextComponent textComponent
      • totalMatch

        private int totalMatch
      • currentMatch

        private int currentMatch
      • highlights

        private java.util.List<javax.swing.text.Highlighter.Highlight> highlights
      • previousAction

        private final javax.swing.Action previousAction
      • nextAction

        private final javax.swing.Action nextAction
    • Constructor Detail

      • Searcher

        public Searcher​(javax.swing.text.JTextComponent textComponent)
        Constructor.
        Parameters:
        textComponent - JTextComponent instance.
    • Method Detail

      • getSearchPanel

        public javax.swing.JPanel getSearchPanel()
      • insertUpdate

        public void insertUpdate​(javax.swing.event.DocumentEvent documentEvent)
        Specified by:
        insertUpdate in interface javax.swing.event.DocumentListener
      • removeUpdate

        public void removeUpdate​(javax.swing.event.DocumentEvent documentEvent)
        Specified by:
        removeUpdate in interface javax.swing.event.DocumentListener
      • changedUpdate

        public void changedUpdate​(javax.swing.event.DocumentEvent documentEvent)
        Specified by:
        changedUpdate in interface javax.swing.event.DocumentListener
      • search

        private void search​(javax.swing.event.DocumentEvent documentEvent)
      • search

        private void search​(java.lang.String word)
      • updateNavigationButtons

        private void updateNavigationButtons()
      • scrollToWord

        private void scrollToWord​(int offset)
      • updateHighLighter

        private void updateHighLighter​(int presentIndex,
                                       int previousIndex)
      • changeHighlighter

        private void changeHighlighter​(int index,
                                       javax.swing.text.Highlighter.HighlightPainter newPainter)
      • stateChanged

        public void stateChanged​(javax.swing.event.ChangeEvent changeEvent)
        Specified by:
        stateChanged in interface javax.swing.event.ChangeListener
      • componentResized

        public void componentResized​(java.awt.event.ComponentEvent componentEvent)
        Specified by:
        componentResized in interface java.awt.event.ComponentListener
      • componentMoved

        public void componentMoved​(java.awt.event.ComponentEvent componentEvent)
        Specified by:
        componentMoved in interface java.awt.event.ComponentListener
      • componentShown

        public void componentShown​(java.awt.event.ComponentEvent componentEvent)
        Specified by:
        componentShown in interface java.awt.event.ComponentListener
      • componentHidden

        public void componentHidden​(java.awt.event.ComponentEvent componentEvent)
        Specified by:
        componentHidden in interface java.awt.event.ComponentListener
      • addMenuListeners

        public void addMenuListeners​(PDFDebugger frame)
      • removeMenuListeners

        public void removeMenuListeners​(PDFDebugger frame)