Class DefaultFoldManager.Listener

  • All Implemented Interfaces:
    java.beans.PropertyChangeListener, java.util.EventListener, javax.swing.event.DocumentListener
    Enclosing class:
    DefaultFoldManager

    private class DefaultFoldManager.Listener
    extends java.lang.Object
    implements javax.swing.event.DocumentListener, java.beans.PropertyChangeListener
    Listens for events in the text editor.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Listener()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void changedUpdate​(javax.swing.event.DocumentEvent e)  
      void insertUpdate​(javax.swing.event.DocumentEvent e)  
      void propertyChange​(java.beans.PropertyChangeEvent e)  
      void removeUpdate​(javax.swing.event.DocumentEvent e)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Listener

        private Listener()
    • Method Detail

      • changedUpdate

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

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

        public void propertyChange​(java.beans.PropertyChangeEvent e)
        Specified by:
        propertyChange in interface java.beans.PropertyChangeListener
      • removeUpdate

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