Class EditorKitEvent


  • public class EditorKitEvent
    extends java.lang.Object
    A class that allows an EditorKit's mousetool to send high-level mouse-events, i.e. somehow pre-processed by the EditorKit machinery. This is inspired from javax.swing.event.HyperlinkListener.
    Application cover :
    • UI implementation outside the jpicedt.graphic package can react to mouse-event w/o the burden of processing the event.
    • Internal use by other EditorKit's mousetools.

      [pending] underway ; compile ok but not used yet.

    Since:
    jpicedt 1.3.2
    Version:
    $Id: EditorKitEvent.java,v 1.5.2.1 2007/09/02 11:56:18 reynal Exp $
    Author:
    Sylvain Reynal
    • Constructor Detail

      • EditorKitEvent

        public EditorKitEvent​(EditorKit source,
                              EditorKitEvent.EventType type,
                              HitInfo hitInfo)
        contruct a new EditorKitEvent.
        Parameters:
        source - the editorkit that sourced the event
        type - the event type
        hitInfo - the HitInfo associated with the mouse event
    • Method Detail

      • getSource

        public EditorKit getSource()
        Return the editor kit that sourced this event
      • getHitInfo

        public HitInfo getHitInfo()
        Return the HitInfo associated with the mouse-event
      • toString

        public java.lang.String toString()
        Return a String representation of this event for debugging purpose.
        Overrides:
        toString in class java.lang.Object