jpicedt.graphic.event
Interface EditorKitListener

All Superinterfaces:

EventListener

public interface EditorKitListener
extends 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 Summary

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

Method Detail

editorKitUpdate

void editorKitUpdate(EditorKitEvent e)

called by the sourcing EditorKit to signal a change