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


#
# Set width and height of sprites
#

place_height=40
place_width=40

transition_height=40
transition_width=41

#
# 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=0xff0000
#arc_border_color=0x00ff00
#arc_fill_color=0x32cb41
#extension_color=0x130347