Package | Description |
---|---|
org.graphstream.ui.graphicGraph | |
org.graphstream.ui.graphicGraph.stylesheet | |
org.graphstream.ui.graphicGraph.stylesheet.parser |
Modifier and Type | Class and Description |
---|---|
class |
StyleGroup
A group of graph elements that share the same style.
|
Modifier and Type | Field and Description |
---|---|
Style |
Rule.style
The style.
|
Modifier and Type | Method and Description |
---|---|
Style |
StyleSheet.getDefaultEdgeStyle()
The default style for edges.
|
Style |
StyleSheet.getDefaultGraphStyle()
The default style for graphs.
|
Style |
StyleSheet.getDefaultNodeStyle()
The default style for nodes.
|
Style |
StyleSheet.getDefaultSpriteStyle()
The default style for sprites.
|
Style |
Rule.getStyle()
This rule style.
|
Modifier and Type | Method and Description |
---|---|
void |
Style.augment(Style other)
Copy all the settings of the other style that are set, excepted the parent.
|
void |
Rule.setStyle(Style style)
Change the style.
|
Modifier and Type | Method and Description |
---|---|
void |
StyleSheetParser.style(Style style) |
void |
StyleSheetParser.styles(Style style) |
void |
StyleSheetParser.stylesStart(Style style) |