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 */