Package org.gjt.sp.jedit.msg
Class PluginUpdate
- java.lang.Object
-
- org.gjt.sp.jedit.EBMessage
-
- org.gjt.sp.jedit.msg.PluginUpdate
-
public class PluginUpdate extends EBMessage
Message sent when plugins are loaded and unloaded.- Since:
- jEdit 4.2pre1
- Version:
- $Id: PluginUpdate.java 21831 2012-06-18 22:54:17Z ezust $
- Author:
- Slava Pestov
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.Object
ACTIVATED
Plugin activated.static java.lang.Object
DEACTIVATED
Plugin deactivated.static java.lang.Object
LOADED
Plugin loaded.static java.lang.Object
UNLOADED
Plugin unloaded.
-
Constructor Summary
Constructors Constructor Description PluginUpdate(PluginJAR jar, java.lang.Object what, boolean exit)
Creates a new plugin update message.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PluginJAR
getPluginJAR()
Returns the plugin involved.java.lang.String
getPluginVersion()
Returns the plugin version.java.lang.Object
getWhat()
Returns what caused this plugin update.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.java.lang.String
paramString()
Returns a string representation of this message's parameters.
-
-
-
Field Detail
-
LOADED
public static final java.lang.Object LOADED
Plugin loaded. This is sent after a JAR file is added to the list and scanned.- Since:
- jEdit 4.2pre1
-
ACTIVATED
public static final java.lang.Object ACTIVATED
Plugin activated. This is sent after the plugin core class is loaded and itsstart()
method is called.- Since:
- jEdit 4.2pre1
-
DEACTIVATED
public static final java.lang.Object DEACTIVATED
Plugin deactivated. This is sent after the plugin core classstop()
method is called.- Since:
- jEdit 4.2pre2
-
UNLOADED
public static final java.lang.Object UNLOADED
Plugin unloaded.- Since:
- jEdit 4.2pre1
-
-
Constructor Detail
-
PluginUpdate
public PluginUpdate(PluginJAR jar, java.lang.Object what, boolean exit)
Creates a new plugin update message.- Parameters:
jar
- The pluginwhat
- What happenedexit
- Is the editor exiting?- Since:
- jEdit 4.2pre3
-
-
Method Detail
-
getWhat
public java.lang.Object getWhat()
Returns what caused this plugin update.
-
isExiting
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.- Since:
- jEdit 4.2pre3
-
getPluginJAR
public PluginJAR getPluginJAR()
Returns the plugin involved.
-
getPluginVersion
public java.lang.String getPluginVersion()
Returns the plugin version.- Returns:
- the plugin version. It may be null in some case like for the libraries
- Since:
- 4.4pre1
-
paramString
public java.lang.String paramString()
Description copied from class:EBMessage
Returns a string representation of this message's parameters.- Overrides:
paramString
in classEBMessage
-
-