public class InnerNodeViewListener
extends java.lang.Object
InnerNodeView
Reacts on mouse events to highlight the selected part of the sequent and it
pops up a menu showing all applicable actions at the highlighted position.Modifier and Type | Field and Description |
---|---|
static int |
POPUP_DELAY
The delay after closing a popup menu before another menu may be opened.
|
Modifier and Type | Method and Description |
---|---|
T |
getSequentView() |
void |
mouseClicked(java.awt.event.MouseEvent me) |
void |
mouseEntered(java.awt.event.MouseEvent e) |
void |
mouseExited(java.awt.event.MouseEvent me) |
void |
mousePressed(java.awt.event.MouseEvent e) |
void |
mouseReleased(java.awt.event.MouseEvent e) |
public static final int POPUP_DELAY
public void mouseClicked(java.awt.event.MouseEvent me)
public void mouseExited(java.awt.event.MouseEvent me)
public void mousePressed(java.awt.event.MouseEvent e)
public void mouseReleased(java.awt.event.MouseEvent e)
public void mouseEntered(java.awt.event.MouseEvent e)
public T getSequentView()
Copyright © 2003-2019 The KeY-Project.