The Meta-Environment API

nl.cwi.sen1.gui.plugin
Interface StudioPluginListener

All Superinterfaces:
java.util.EventListener

public interface StudioPluginListener
extends java.util.EventListener

Observer design for the Studio listening to events from plugins.


Method Summary
 void studioPluginClosed(StudioPlugin plugin)
          When a plugin decides to exit/quit/stop running, the Studio must be notified.
 

Method Detail

studioPluginClosed

void studioPluginClosed(StudioPlugin plugin)
When a plugin decides to exit/quit/stop running, the Studio must be notified.


The Meta-Environment API