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: BasicWorkspaceListener.java,v $
023   Revision 1.5  2004/05/05 22:16:57  markl
024   comment block updates
025
026   Revision 1.4  2003/01/19 09:34:08  markl
027   Javadoc & comment header updates.
028
029   Revision 1.3  2001/03/12 01:38:46  markl
030   Source code cleanup.
031
032   Revision 1.2  1999/01/10 03:26:20  markl
033   added GPL header & RCS tag
034   ----------------------------------------------------------------------------
035*/
036
037package kiwi.event;
038
039/** A trivial implementation of <code>WorkspaceListener</code>, with all
040  * methods implemented as no-ops.
041  *
042  * @author Mark Lindner
043  */
044
045public class BasicWorkspaceListener implements WorkspaceListener 
046  {
047
048  /** Construct a new <code>BasicWorkspaceListener</code>.
049    */
050  
051  public BasicWorkspaceListener()
052    {
053    }
054
055  /** Handle an <i>editor selected</i> event. */
056
057  public void editorSelected(WorkspaceEvent evt)
058    {
059    }
060
061  /** Handle an <i>editor deselected</i> event. */
062
063  public void editorDeselected(WorkspaceEvent evt)
064    {
065    }
066
067  /** Handle an <i>editor restored</i> event. */
068  
069  public void editorRestored(WorkspaceEvent evt)
070    {
071    }
072
073  /** Handle an <i>editor iconified</i> event. */
074
075  public void editorIconified(WorkspaceEvent evt)
076    {
077    }
078
079  /** Handle an <i>editor closed</i> event. */
080
081  public void editorClosed(WorkspaceEvent evt)
082    {
083    }
084
085  /** Handle an <i>editor state changed</i> event. */
086
087  public void editorStateChanged(WorkspaceEvent evt)
088    {
089    }
090  
091  }
092
093/* end of source file */