de.uka.ilkd.key.gui

Class MainWindow.GlassPaneListener

java.lang.Object

java.awt.event.MouseAdapter

javax.swing.event.MouseInputAdapter

de.uka.ilkd.key.gui.MainWindow.GlassPaneListener

All Implemented Interfaces:

MouseListener, MouseMotionListener, MouseWheelListener, EventListener, MouseInputListener

Enclosing class:

MainWindow

private static class MainWindow.GlassPaneListener
extends MouseInputAdapter

Mouse listener for the glass pane that only delivers events for the status line (i.e. the abort button) This has been partly taken from the GlassPaneDemo of the Java Tutorial

Field Summary

Fields

Modifier and Type	Field and Description
(package private) Container	contentPane
(package private) Component	currentComponent
(package private) Component	glassPane

Constructor Summary

Constructors

Constructor and Description
GlassPaneListener(Component glassPane, Container contentPane)

Method Summary

Modifier and Type	Method and Description
private void	dispatchForCurrentComponent(MouseEvent e)
private boolean	isLiveComponent(Component c)
void	mouseClicked(MouseEvent e)
void	mouseDragged(MouseEvent e)
void	mouseEntered(MouseEvent e)
void	mouseExited(MouseEvent e)
void	mouseMoved(MouseEvent e)
void	mousePressed(MouseEvent e)
void	mouseReleased(MouseEvent e)
private void	redispatchMouseEvent(MouseEvent e)

Methods inherited from class java.awt.event.MouseAdapter

mouseWheelMoved

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

currentComponent

Component currentComponent

glassPane

Component glassPane

contentPane

Container contentPane

Constructor Detail

GlassPaneListener

public GlassPaneListener(Component glassPane,
                         Container contentPane)

Method Detail

mouseMoved

public void mouseMoved(MouseEvent e)

Specified by:

mouseMoved in interface MouseMotionListener

Overrides:

mouseMoved in class MouseAdapter

mouseDragged

public void mouseDragged(MouseEvent e)

Specified by:

mouseDragged in interface MouseMotionListener

Overrides:

mouseDragged in class MouseAdapter

mouseClicked

public void mouseClicked(MouseEvent e)

Specified by:

mouseClicked in interface MouseListener

Overrides:

mouseClicked in class MouseAdapter

mouseEntered

public void mouseEntered(MouseEvent e)

Specified by:

mouseEntered in interface MouseListener

Overrides:

mouseEntered in class MouseAdapter

mouseExited

public void mouseExited(MouseEvent e)

Specified by:

mouseExited in interface MouseListener

Overrides:

mouseExited in class MouseAdapter

mousePressed

public void mousePressed(MouseEvent e)

Specified by:

mousePressed in interface MouseListener

Overrides:

mousePressed in class MouseAdapter

mouseReleased

public void mouseReleased(MouseEvent e)

Specified by:

mouseReleased in interface MouseListener

Overrides:

mouseReleased in class MouseAdapter

redispatchMouseEvent

private void redispatchMouseEvent(MouseEvent e)

isLiveComponent

private boolean isLiveComponent(Component c)

dispatchForCurrentComponent

private void dispatchForCurrentComponent(MouseEvent e)