| |
|
| java.lang.Object org.gjt.sp.jedit.EBMessage org.gjt.sp.jedit.msg.ViewUpdate
ViewUpdate | public class ViewUpdate extends EBMessage (Code) | | Message sent when a view-related change occurs.
author: Slava Pestov version: $Id: ViewUpdate.java 5367 2006-04-09 04:02:21Z vanza $ since: jEdit 2.2pre6 |
ACTIVATED | final public static Object ACTIVATED(Code) | | Active view changed.
since: jEdit 4.3pre4 |
CREATED | final public static Object CREATED(Code) | | View created.
|
EDIT_PANE_CHANGED | final public static Object EDIT_PANE_CHANGED(Code) | | Active edit pane changed.
since: jEdit 4.1pre1 |
ViewUpdate | public ViewUpdate(View view, Object what)(Code) | | Creates a new view update message.
Parameters: view - The view Parameters: what - What happened |
getView | public View getView()(Code) | | Returns the view involved.
|
getWhat | public Object getWhat()(Code) | | Returns what caused this view update.
|
|
|
|