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 }