/** * This method is called at the end of a plugin * life cycle, when the plugin needs to be removed * from the system. Plugins should remove any listeners * that they setup and perform other cleanup, so that * the plugin can be garbage collected. */ public void dispose() { action.dispose(); }
/** * This method is called at the end of a plugin * life cycle, when the plugin needs to be removed * from the system. Plugins should remove any listeners * that they setup and perform other cleanup, so that * the plugin can be garbage collected. */ public void dispose() { action.dispose(); }
/** * This method is called at the end of a plugin * life cycle, when the plugin needs to be removed * from the system. Plugins should remove any listeners * that they setup and perform other cleanup, so that * the plugin can be garbage collected. */ public void dispose() { action.dispose(); }