public class SelectionRenderer
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.awt.Color |
fillColor |
protected java.awt.Color |
linesColor |
protected java.awt.Color |
linesColorQ |
protected java.awt.geom.Rectangle2D.Double |
shape |
protected java.awt.Color |
strokeColor |
protected java.awt.Color |
strokeColorQ |
| Constructor and Description |
|---|
SelectionRenderer(Selection selection,
org.graphstream.ui.graphicGraph.GraphicGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
void |
render(Backend bck,
org.graphstream.ui.view.camera.DefaultCamera2D camera,
int panelWidth,
int panelHeight) |
protected java.awt.geom.Rectangle2D.Double shape
protected java.awt.Color linesColor
protected java.awt.Color linesColorQ
protected java.awt.Color fillColor
protected java.awt.Color strokeColorQ
protected java.awt.Color strokeColor
public SelectionRenderer(Selection selection, org.graphstream.ui.graphicGraph.GraphicGraph graph)
public void render(Backend bck, org.graphstream.ui.view.camera.DefaultCamera2D camera, int panelWidth, int panelHeight)