public class DotPanelUserSettings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Dot.GraphDirection |
direction |
double |
nodeSeparation |
Constructor and Description |
---|
DotPanelUserSettings(Dot dot) |
Modifier and Type | Method and Description |
---|---|
void |
applyToDot(Dot dot)
Applies the dot panel user settings to a Dot instance.
|
void |
readFromDot(Dot dot) |
void |
setDirection(Dot.GraphDirection direction) |
java.lang.String |
toString() |
public Dot.GraphDirection direction
public double nodeSeparation
public DotPanelUserSettings(Dot dot)
public void applyToDot(Dot dot)
dot
- public void readFromDot(Dot dot)
public void setDirection(Dot.GraphDirection direction)
public java.lang.String toString()
toString
in class java.lang.Object