| Package | Description |
|---|---|
| org.graphstream.ui.graphicGraph.stylesheet | |
| org.graphstream.ui.graphicGraph.stylesheet.parser | |
| org.graphstream.ui.swingViewer.util |
| Modifier and Type | Method and Description |
|---|---|
static Value |
StyleConstants.convertValue(Object value)
Convert an object to a value with units.
|
Value |
Style.getShadowWidth()
Width of the element shadow.
|
Value |
Style.getStrokeWidth()
Width of the element contour.
|
Value |
Style.getTextSize()
The text size in points.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
Value.equals(Value o) |
| Constructor and Description |
|---|
Value(Value other)
New copy of another value.
|
Values(Value value)
New set of one value.
|
| Modifier and Type | Method and Description |
|---|---|
Value |
StyleSheetParser.value() |
| Modifier and Type | Method and Description |
|---|---|
double |
GraphMetrics.lengthToGu(Value value)
Convert a value in a given units to graph units.
|
double |
GraphMetrics.lengthToPx(Value value)
Convert a value in a given units to pixels.
|
Copyright © 2015. All rights reserved.