projectviewer.config
Interface ExtensionManager.ManagedService

All Known Implementing Classes:
VPTContextMenu
Enclosing class:
ExtensionManager

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

getServiceName

java.lang.String getServiceName()
Returns the service name.


getServiceClass

java.lang.Class getServiceClass()
Returns the base class of the jEdit service.


updateExtensions

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). The instance should free the old extension list and use the new one.