Package | Description |
---|---|
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser | |
org.graphstream.ui.view.util |
Modifier and Type | Method and Description |
---|---|
static Value |
StyleConstants.convertValue(java.lang.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.
|