#############################################
# Configuration file for editor application #
#############################################

#
# Set width and height of sprites
#

place_height=20
place_width=20

transition_height=20
transition_width=20

#
# Set width and height of page
#

page_height=600
page_width=600

#
# Set color of sprites
# assign a 24 bit hex value (red,green,blue).
#
# example (gives green places, and blue transitions)
#
#
# place_fill_color=0x00ff00 
# transition_fill_color=0x0000ff
#arc_border_color=0x00ff00
#arc_fill_color=0xffffff
#extension_color=0xff0000