public class MouseOverMouseManager extends DefaultMouseManager
curElement, graph, view, x1, y1| Constructor and Description |
|---|
MouseOverMouseManager() |
MouseOverMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types) |
MouseOverMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types,
long delay) |
MouseOverMouseManager(long delay) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
mouseLeftElement(org.graphstream.ui.graphicGraph.GraphicElement element) |
void |
mouseMoved(java.awt.event.MouseEvent event) |
protected void |
mouseOverElement(org.graphstream.ui.graphicGraph.GraphicElement element) |
elementMoving, getManagedTypes, init, mouseButtonPress, mouseButtonPressOnElement, mouseButtonRelease, mouseButtonReleaseOffElement, mouseClicked, mouseDragged, mouseEntered, mouseExited, mousePressed, mouseReleased, releasepublic MouseOverMouseManager(long delay)
delay - The mouse needs to stay on an element for at least this amount of milliseconds, until the element
gets the attribute "ui.mouseOver" assigned. A value smaller or equal to zero indicates, that
the attribute is assigned without delay.public MouseOverMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types,
long delay)
public MouseOverMouseManager(java.util.EnumSet<org.graphstream.ui.view.util.InteractiveElement> types)
public MouseOverMouseManager()
protected void mouseOverElement(org.graphstream.ui.graphicGraph.GraphicElement element)
protected void mouseLeftElement(org.graphstream.ui.graphicGraph.GraphicElement element)
public void mouseMoved(java.awt.event.MouseEvent event)
mouseMoved in interface java.awt.event.MouseMotionListenermouseMoved in class DefaultMouseManager