private void RestoreDefaults()
{
transitionLabels = TransitionLabel.Action;
nodeLabelsVisible = true;
initialStateColor = Color.LightGray;
hoverColor = Color.Lime;
selectionColor = System.Drawing.Color.Blue;
livenessCheckIsOn = false;
deadStateColor = Color.Yellow;
safetyCheckIsOn = false;
unsafeStateColor = Color.Red;
maxTransitions = 100;
loopsVisible = true;
mergeLabels = true;
acceptingStatesMarked = true;
stateShape = StateShape.Ellipse;
direction = GraphDirection.TopToBottom;
combineActions = false;
excludeIsomorphicStates = false;
collapseExcludedIsomorphicStates = false;
if (this.finiteAutomatonContext != null)
{
graphChanged = true;
PerformLayout();
}
}
private void RestoreDefaults()
{
transitionLabels = TransitionLabel.Action;
nodeLabelsVisible = true;
initialStateColor = new Color("LightGray");
hoverColor = new Color("Lime");
selectionColor = new Color("Blue");
livenessCheckIsOn = false;
deadStateColor = new Color("Yellow");
safetyCheckIsOn = false;
unsafeStateColor = new Color("Red");
maxTransitions = 100;
loopsVisible = true;
mergeLabels = true;
acceptingStatesMarked = true;
stateShape = StateShape.Ellipse;
direction = GraphDirection.TopToBottom;
combineActions = false;
excludeIsomorphicStates = false;
collapseExcludedIsomorphicStates = false;
}
private void RestoreDefaults()
{
transitionLabels = TransitionLabel.Action;
nodeLabelsVisible = true;
initialStateColor = Color.LightGray;
hoverColor = Color.Lime;
selectionColor = System.Drawing.Color.Blue;
livenessCheckIsOn = false;
deadStateColor = Color.Yellow;
safetyCheckIsOn = false;
unsafeStateColor = Color.Red;
maxTransitions = 100;
loopsVisible = true;
mergeLabels = true;
acceptingStatesMarked = true;
stateShape = StateShape.Ellipse;
direction = GraphDirection.TopToBottom;
combineActions = false;
excludeIsomorphicStates = false;
collapseExcludedIsomorphicStates = false;
if (this.finiteAutomatonContext != null)
{
graphChanged = true;
PerformLayout();
}
}
private void RestoreDefaults()
{
transitionLabels = TransitionLabel.Action;
nodeLabelsVisible = true;
initialStateColor = new Color("LightGray");
hoverColor = new Color("Lime");
selectionColor = new Color("Blue");
livenessCheckIsOn = false;
deadStateColor = new Color("Yellow");
safetyCheckIsOn = false;
unsafeStateColor = new Color("Red");
maxTransitions = 100;
loopsVisible = true;
mergeLabels = true;
acceptingStatesMarked = true;
stateShape = StateShape.Ellipse;
direction = GraphDirection.TopToBottom;
combineActions = false;
excludeIsomorphicStates = false;
collapseExcludedIsomorphicStates = false;
}
