root/PSi/config/Editor.properties @ 2e0a7cb1
2e0a7cb1 | Sylvain L. Sauvage | ||
#############################################
|
|||
# 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
|