Interface EditorKitListener

  • All Superinterfaces:
    java.util.EventListener

    public interface EditorKitListener
    extends java.util.EventListener
    Interface for an observer to receive notifications of changes produced by an EditorKit
    Since:
    jpicedt 1.3.2
    Version:
    $Id: EditorKitListener.java,v 1.5.2.1 2007/09/02 11:56:18 reynal Exp $
    Author:
    Sylvain Reynal
    • Method Detail

      • editorKitUpdate

        void editorKitUpdate​(EditorKitEvent e)
        called by the sourcing EditorKit to signal a change