public class GraphMouseListener
extends java.lang.Object
implements org.graphstream.ui.view.ViewerListener, java.lang.Runnable
| Constructor and Description |
|---|
GraphMouseListener(GraphViewPluginModel viewModel,
org.graphstream.ui.view.ViewerPipe viewerPipe) |
| Modifier and Type | Method and Description |
|---|---|
void |
buttonPushed(java.lang.String id) |
void |
buttonReleased(java.lang.String id) |
void |
mouseLeft(java.lang.String id) |
void |
mouseOver(java.lang.String id) |
void |
run() |
void |
viewClosed(java.lang.String id) |
public GraphMouseListener(GraphViewPluginModel viewModel, org.graphstream.ui.view.ViewerPipe viewerPipe)
public void buttonPushed(java.lang.String id)
buttonPushed in interface org.graphstream.ui.view.ViewerListenerpublic void buttonReleased(java.lang.String id)
buttonReleased in interface org.graphstream.ui.view.ViewerListenerpublic void mouseLeft(java.lang.String id)
mouseLeft in interface org.graphstream.ui.view.ViewerListenerpublic void mouseOver(java.lang.String id)
mouseOver in interface org.graphstream.ui.view.ViewerListenerpublic void viewClosed(java.lang.String id)
viewClosed in interface org.graphstream.ui.view.ViewerListenerpublic void run()
run in interface java.lang.Runnable