turingmachine
Class CTMPreferences

java.lang.Object
  extended by 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.


Field Summary
(package private)  java.awt.Color control_colour
           
(package private)  int control_size
           
(package private)  java.awt.Color link_arrowColour
           
(package private)  java.lang.String link_arrowType
           
(package private)  int link_controlOffset_biconnect
           
(package private)  int link_controlOffset_monoconnect
           
(package private)  int link_font_size
           
(package private)  java.awt.Color link_lineColour
           
(package private)  float link_lineWidth
           
(package private) static long serialVersionUID
           
(package private)  java.awt.Color state_borderColour
           
(package private)  float state_borderWidth
           
(package private)  java.awt.Color state_breakpointColour
           
(package private)  java.awt.Color state_colour
           
(package private)  int state_diameter
           
(package private)  java.awt.Color state_font_colour
           
(package private)  int state_font_size
           
(package private)  boolean view_antialias
           
(package private)  java.awt.Color view_backgroundColour
           
 
Constructor Summary
CTMPreferences()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

CTMPreferences

public CTMPreferences()