|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ExtensionManager.ManagedService
Classes that use extensions should implement this interface
and register themselves by calling
ExtensionManager.register(ManagedService)
, to receive events about
changes in the service configuration.
Method Summary | |
---|---|
java.lang.Class |
getServiceClass()
Returns the base class of the jEdit service. |
java.lang.String |
getServiceName()
Returns the service name. |
void |
updateExtensions(java.util.List<java.lang.Object> l)
Notifies the instance that a new list of extensions has been created in response to some event (such as a plugin being loaded or unloaded). |
Method Detail |
---|
java.lang.String getServiceName()
java.lang.Class getServiceClass()
void updateExtensions(java.util.List<java.lang.Object> l)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |