001    package nl.cwi.sen1.gui.plugin;
002    
003    import java.util.EventListener;
004    
005    /**
006     * Observer design for the Studio listening to events from plugins.
007     */
008    public interface StudioPluginListener extends EventListener {
009      /**
010       * When a plugin decides to exit/quit/stop running, the Studio
011       * must be notified.
012       */
013      public void studioPluginClosed(StudioPlugin plugin);
014    }