| org.gjt.sp.jedit.textarea.StatusListener
StatusListener | public interface StatusListener extends java.util.EventListener(Code) | | Fired when the text area needs to display a status message.
author: Slava Pestov version: $Id: StatusListener.java 7156 2006-10-02 21:33:17Z kpouer $ since: jEdit 4.3pre2 |
MULTI_SELECT_CHANGED | int MULTI_SELECT_CHANGED(Code) | | |
OVERWRITE_CHANGED | int OVERWRITE_CHANGED(Code) | | |
RECT_SELECT_CHANGED | int RECT_SELECT_CHANGED(Code) | | |
statusChanged | void statusChanged(TextArea textArea, int flag, boolean value)(Code) | | |
|
|