java.lang.Object
org.graphstream.ui.swing.renderer.SelectionRenderer
public class SelectionRenderer
extends java.lang.Object
-
-
Method Summary
Modifier and Type |
Method |
Description |
void |
render(Backend bck,
org.graphstream.ui.view.camera.DefaultCamera2D camera,
int panelWidth,
int panelHeight) |
|
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
public SelectionRenderer(
Selection selection,
org.graphstream.ui.graphicGraph.GraphicGraph graph)
-
Method Details
-
public void render(
Backend bck,
org.graphstream.ui.view.camera.DefaultCamera2D camera,
int panelWidth,
int panelHeight)