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:

java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.util.EventListener, javax.swing.event.MouseInputListener

Enclosing class:

MainWindow

private static class MainWindow.GlassPaneListener
extends javax.swing.event.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) java.awt.Container	contentPane
(package private) java.awt.Component	currentComponent
(package private) java.awt.Component	glassPane

Constructor Summary

Constructors

Constructor and Description
GlassPaneListener(java.awt.Component glassPane, java.awt.Container contentPane)

Method Summary

Modifier and Type	Method and Description
private void	dispatchForCurrentComponent(java.awt.event.MouseEvent e)
private boolean	isLiveComponent(java.awt.Component c)
void	mouseClicked(java.awt.event.MouseEvent e)
void	mouseDragged(java.awt.event.MouseEvent e)
void	mouseEntered(java.awt.event.MouseEvent e)
void	mouseExited(java.awt.event.MouseEvent e)
void	mouseMoved(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	mouseReleased(java.awt.event.MouseEvent e)
private void	redispatchMouseEvent(java.awt.event.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

java.awt.Component currentComponent

glassPane

java.awt.Component glassPane

contentPane

java.awt.Container contentPane

Constructor Detail

GlassPaneListener

public GlassPaneListener(java.awt.Component glassPane,
                         java.awt.Container contentPane)

Method Detail

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent e)

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

Overrides:

mouseMoved in class java.awt.event.MouseAdapter

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent e)

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

Overrides:

mouseDragged in class java.awt.event.MouseAdapter

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Overrides:

mouseClicked in class java.awt.event.MouseAdapter

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Specified by:

mouseEntered in interface java.awt.event.MouseListener

Overrides:

mouseEntered in class java.awt.event.MouseAdapter

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Specified by:

mouseExited in interface java.awt.event.MouseListener

Overrides:

mouseExited in class java.awt.event.MouseAdapter

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Specified by:

mousePressed in interface java.awt.event.MouseListener

Overrides:

mousePressed in class java.awt.event.MouseAdapter

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Overrides:

mouseReleased in class java.awt.event.MouseAdapter

redispatchMouseEvent

private void redispatchMouseEvent(java.awt.event.MouseEvent e)

isLiveComponent

private boolean isLiveComponent(java.awt.Component c)

dispatchForCurrentComponent

private void dispatchForCurrentComponent(java.awt.event.MouseEvent e)