#***********************************************#
# The resource file for jflap			#
#						#
# jflap: version 1.0 15 July 1996		#
# jflap: author Octavian & Cecilia Procopiuc	#
#***********************************************#

# The file is parsed by the java.util.Properties class.
# Make sure there is no white space between name and value.
# Incorrect or missing properties are given a default value.
# The colors are in RGB format (hexadecimal)

# state parameters

#state.background.normal=eeee00
#state.background.focused=fe5050
#state.foreground=000000
state.radius=13

# transition parameters

#transition.background=eeee00
#transition.foreground.normal=000000
#transition.foreground.selected=f00000
transition.height=17
# transition.distance is the dist. between the label and the from state.
#transition.distance=35

# main window parameters

#mainwindow.background=e5e0ce
#mainwindow.width=710
#mainwindow.height=530

# the input field length does not apply to TM2.
#mainwindow.inputfield.length=35

# canvas parameters

#canvas.background.normal=ffffff
#canvas.background.faded=e5e0ce

# canvas popup menu parameters

#canvas.popup.background.normal=e5e0ce
#canvas.popup.foreground.normal=000000
#canvas.popup.foreground.nonselectable=a0a0a0
#canvas.popup.background.focused=fe7070

# configuration parameters

#configuration.foreground=000000
#configuration.background=e5e0ce

# step run window parameters

#steprunwindow.background=e5e0ce
#steprunwindow.canvas.background=ffffff
#steprunwindow.width=760
#sterunwindow.height=310

# dialog parameters

#dialog.background=eae4d2
#dialog.width=270
#dialog.height=170

# helpdialog parameters

#helpdialog.background=eae4d2

# buttons parameters

#button.background=

# print parameters

#print.xwd.command=/usr/local/X/bin/xwd -nobdrs
#print.xpr.command=/usr/local/X/bin/xpr -device ps

# machine parameters

machine.capacity=3200

# trace window parameters

#tracewindow.width=215
#tracewindow.height=190
#tracewindow.background=e5e0ce
#tracewindow.configuration.voffset=27
#tracewindow.configuration.hoffset=5

# the main color of the snow flake (modify if the color is too weak)

#snowflake.color=98f5ff
