[Application]
mainWindowHeight=504
mainWindowWidth=912
mainWindowX=321
mainWindowY=74
showProperties=true
showReport=false

[Editor]
arrowheadHeight=14
arrowheadWidth=10
lineWidth=1
placeHeight=35
placeWidth=50
snapToGrid=true
transitionHeight=25
transitionWidth=45

[Graphs]
graphSizeLimit=50
ignorePriorities=false
ignoreTime=true
limitGraphSize=true

[Paths]
settingPath=\0

[SVGExport]
canvasHeight=1512
canvasWidth=1512
script=engine.js
scriptType=(Empty)
stylesheet=style.css
viewHeight=1512
viewWidth=1512
viewX=0
viewY=0

[Simulator]
ignorePriorities=true
ignoreTime=false
simulationSpeed=1500

[XfigExport]
fillShapes=true
lineWidth=1
orientation=0
size=0

