http://www.jpicedt.org

jpicedt.graphic.event
Class EditorKitEvent

java.lang.Object
  extended by jpicedt.graphic.event.EditorKitEvent

public class EditorKitEvent
extends 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 :