|
|
|
#############################################
|
|
# 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
|