turingmachine
Class CTMPreferences
java.lang.Object
turingmachine.CTMPreferences
- All Implemented Interfaces:
- java.lang.Cloneable, java.io.Serializable
- class CTMPreferences
- extends java.lang.Object
- implements java.lang.Cloneable, java.io.Serializable
TODO: replace this with real java preferences.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
serialVersionUID
static final long serialVersionUID
- See Also:
- Constant Field Values
view_backgroundColour
java.awt.Color view_backgroundColour
state_borderColour
java.awt.Color state_borderColour
state_colour
java.awt.Color state_colour
state_font_colour
java.awt.Color state_font_colour
view_antialias
boolean view_antialias
state_breakpointColour
java.awt.Color state_breakpointColour
state_borderWidth
float state_borderWidth
state_diameter
int state_diameter
state_font_size
int state_font_size
link_lineColour
java.awt.Color link_lineColour
link_arrowColour
java.awt.Color link_arrowColour
link_arrowType
java.lang.String link_arrowType
link_lineWidth
float link_lineWidth
link_controlOffset_biconnect
int link_controlOffset_biconnect
link_controlOffset_monoconnect
int link_controlOffset_monoconnect
link_font_size
int link_font_size
control_colour
java.awt.Color control_colour
control_size
int control_size
CTMPreferences
public CTMPreferences()