001/* ----------------------------------------------------------------------------
002   The Kiwi Toolkit - A Java Class Library
003   Copyright (C) 1998-2004 Mark A. Lindner
004
005   This library is free software; you can redistribute it and/or
006   modify it under the terms of the GNU General Public License as
007   published by the Free Software Foundation; either version 2 of the
008   License, or (at your option) any later version.
009
010   This library is distributed in the hope that it will be useful,
011   but WITHOUT ANY WARRANTY; without even the implied warranty of
012   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
013   General Public License for more details.
014
015   You should have received a copy of the GNU General Public License
016   along with this library; if not, write to the Free Software
017   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
018   02111-1307, USA.
019 
020   The author may be contacted at: mark_a_lindner@yahoo.com
021   ----------------------------------------------------------------------------
022   $Log: WorkspaceListener.java,v $
023   Revision 1.6  2004/05/06 00:49:01  markl
024   comment block updates
025
026   Revision 1.5  2003/01/19 09:34:09  markl
027   Javadoc & comment header updates.
028
029   Revision 1.4  2001/03/12 01:38:50  markl
030   Source code cleanup.
031
032   Revision 1.3  1999/06/29 02:04:35  markl
033   Extended EventListener.
034
035   Revision 1.2  1999/01/10 03:29:53  markl
036   added GPL header & RCS tag
037   ----------------------------------------------------------------------------
038*/
039
040package kiwi.event;
041
042import java.util.*;
043
044/** This class represents a listener that is notified of changes in a
045  * <code>WorkspaceManager</code>.
046  *
047  * @see kiwi.ui.WorkspaceManager
048  * @see kiwi.ui.WorkspaceEditor
049  * 
050  * @author Mark Lindner
051  */
052
053public interface WorkspaceListener extends EventListener
054  {
055  /** Invoked after an editor has been selected in the workspace. */
056
057  public void editorSelected(WorkspaceEvent evt);
058
059  /** Invoked after an editor has been deselected in the workspace. */
060
061  public void editorDeselected(WorkspaceEvent evt);
062
063  /** Invoked after an editor has been restored (from an icon) in the
064    * workspace.
065    */
066
067  public void editorRestored(WorkspaceEvent evt);
068
069  /** Invoked after an editor has been iconified in the workspace. */
070
071  public void editorIconified(WorkspaceEvent evt);
072
073  /** Invoked after an editor is closed in the workspace. */
074
075  public void editorClosed(WorkspaceEvent evt);
076
077  /** Invoked after an editor's state has changed in some way. */
078
079  public void editorStateChanged(WorkspaceEvent evt);
080  }
081
082/* end of source file */