de.uni_paderborn.fujaba.fsa.listener
Class HideEditorsMouseListener

java.lang.Object
  extended byjava.awt.event.MouseAdapter
      extended byde.uni_paderborn.fujaba.fsa.listener.HideEditorsMouseListener
All Implemented Interfaces:
AscendDescendMouseHandler.Ascend, java.util.EventListener, java.awt.event.MouseListener

public class HideEditorsMouseListener
extends java.awt.event.MouseAdapter
implements AscendDescendMouseHandler.Ascend

handler for some global mouse stuff like hiding of editors in diagrams

Version:
$Revision: 1.11 $
Author:
$Author: lowende $

Method Summary
static HideEditorsMouseListener get()
          No comment provided by developer, please add a comment to improve documentation.
 void hideEditors(java.awt.event.MouseEvent e)
          No comment provided by developer, please add a comment to improve documentation.
 void mousePressed(java.awt.event.MouseEvent e)
          No comment provided by developer, please add a comment to improve documentation.
 void mouseReleased(java.awt.event.MouseEvent e)
          No comment provided by developer, please add a comment to improve documentation.
 
Methods inherited from class java.awt.event.MouseAdapter
mouseClicked, mouseEntered, mouseExited
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

get

public static HideEditorsMouseListener get()
No comment provided by developer, please add a comment to improve documentation.

Returns:
No description provided

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)
No comment provided by developer, please add a comment to improve documentation.

Specified by:
mousePressed in interface java.awt.event.MouseListener
Parameters:
e - No description provided

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)
No comment provided by developer, please add a comment to improve documentation.

Specified by:
mouseReleased in interface java.awt.event.MouseListener
Parameters:
e - No description provided

hideEditors

public void hideEditors(java.awt.event.MouseEvent e)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
e - No description provided