public class GraphSettingsController
extends java.lang.Object
Constructor and Description |
---|
GraphSettingsController(SettingsController parent) |
Modifier and Type | Method and Description |
---|---|
double |
getFilterThreshold() |
javax.swing.JPanel |
getPanel() |
java.lang.String |
getStateThicknessSelection() |
java.lang.String |
getTransitionThicknessSelection() |
TsSettingsObject |
getTsSettings() |
boolean |
isCustomTsSettingsSelected() |
boolean |
isDefaultTsSettingsSelected() |
boolean |
isFilterSelected() |
boolean |
isShowTransitionLabelsSelected() |
void |
setTsSettings(TsSettingsObject settings) |
public GraphSettingsController(SettingsController parent)
public javax.swing.JPanel getPanel()
public boolean isDefaultTsSettingsSelected()
public boolean isCustomTsSettingsSelected()
public java.lang.String getStateThicknessSelection()
public java.lang.String getTransitionThicknessSelection()
public boolean isFilterSelected()
public double getFilterThreshold()
public boolean isShowTransitionLabelsSelected()
public TsSettingsObject getTsSettings()
public void setTsSettings(TsSettingsObject settings)