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

Methods

Modifier and Type	Method and Description
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.