DotPanelUserSettings (GraphViz)

java.lang.Object
- org.processmining.plugins.graphviz.visualisation.DotPanelUserSettings

```
public class DotPanelUserSettings
extends java.lang.Object
```
Keeps track of the user state, i.e. key presses.

Author:

sleemans

Field Summary

Fields
Modifier and Type Field Description

Dot.GraphDirection direction

double nodeSeparation

Constructor Summary

Constructors
Constructor Description

DotPanelUserSettings(Dot dot)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

direction
```
public Dot.GraphDirection direction
```

nodeSeparation
```
public double nodeSeparation
```

Constructor Detail

DotPanelUserSettings

public DotPanelUserSettings(Dot dot)

Method Detail

applyToDot
```
public void applyToDot(Dot dot)
```
Applies the dot panel user settings to a Dot instance.

Parameters:

dot -

readFromDot
```
public void readFromDot(Dot dot)
```

setDirection

public void setDirection(Dot.GraphDirection direction)

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object