| java.lang.Object
 org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.PluginUpdate
| PluginUpdate | | public class PluginUpdate extends EBMessage (Code) | | Message sent when plugins are loaded and unloaded.
author:
Slava Pestov
version:
$Id: PluginUpdate.java 9402 2007-04-02 17:17:25Z ezust $
since:
jEdit 4.2pre1 |
| Method Summary | |
| public PluginJAR | getPluginJAR()
Returns the plugin involved. | | public Object | getWhat()
Returns what caused this plugin update. | | public boolean | isExiting()
Returns true if this plugin is being unloaded as part of the
shutdown process, in which case some components like the help
viewer and plugin manager ignore the event. | | public String | paramString()
|
| ACTIVATED | | final public static Object ACTIVATED(Code) | | Plugin activated. This is sent after the plugin core class
is loaded and its start() method is called.
since:
jEdit 4.2pre1 |
| DEACTIVATED | | final public static Object DEACTIVATED(Code) | | Plugin deactivated. This is sent after the plugin core class
stop() method is called.
since:
jEdit 4.2pre2 |
| LOADED | | final public static Object LOADED(Code) | | Plugin loaded. This is sent after a JAR file is added to the
list and scanned.
since:
jEdit 4.2pre1 |
| UNLOADED | | final public static Object UNLOADED(Code) | | Plugin unloaded.
since:
jEdit 4.2pre1 |
| PluginUpdate | | public PluginUpdate(PluginJAR jar, Object what, boolean exit)(Code) | | Creates a new plugin update message.
Parameters:
jar - The plugin
Parameters:
what - What happened
Parameters:
exit - Is the editor exiting?
since:
jEdit 4.2pre3 |
| getPluginJAR | | public PluginJAR getPluginJAR()(Code) | | Returns the plugin involved.
|
| getWhat | | public Object getWhat()(Code) | | Returns what caused this plugin update.
|
| isExiting | | public boolean isExiting()(Code) | | Returns true if this plugin is being unloaded as part of the
shutdown process, in which case some components like the help
viewer and plugin manager ignore the event.
since:
jEdit 4.2pre3 |
|
|