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 $

Field Summary
private static HideEditorsMouseListener singleton
          No comment provided by developer, please add a comment to improve documentation.
 
Constructor Summary
private HideEditorsMouseListener()
          Constructor for class HideEditorsMouseListener
 
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
 

Field Detail

singleton

private static HideEditorsMouseListener singleton
No comment provided by developer, please add a comment to improve documentation.

Constructor Detail

HideEditorsMouseListener

private HideEditorsMouseListener()
Constructor for class HideEditorsMouseListener

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