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