1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/isac-java/src/java/properties-templates.linux/Editor.properties	Fri Oct 27 17:58:43 2017 +0200
     1.3 @@ -0,0 +1,17 @@
     1.4 +# settings for the MAWEN formula editor
     1.5 +# EDITOR=JTextField maintains formulas as Strings (other properties irrelevant then)
     1.6 +
     1.7 +# switch between JTextField and MAWEN: uncomment ONE of the subsequent lines
     1.8 +# in case there is no effect, directoy edit repos/isac-java/bin/properties/Editor.properties,
     1.9 +# (which sometimes is NOT done by eclipse automatically)
    1.10 +EDITOR=JTextField
    1.11 +#EDITOR=MAWEN
    1.12 +# change position of formula by <ctrl><mouse-drag>
    1.13 +IS_DRAG_ALLOWED=true
    1.14 +# change size of formula by <ctrl><mouse-wheel>
    1.15 +IS_ZOOM_ALLOWED=true
    1.16 +#START_ZOOM_FACTOR=1  ..1/3 larger than vvv
    1.17 +START_ZOOM_FACTOR=0.7
    1.18 +START_X=15
    1.19 +#START_Y=15   ..Panel zu hoch
    1.20 +START_Y=25
    1.21 \ No newline at end of file

     2.1 --- a/isac-java/src/java/properties-templates.windows/Editor.properties	Thu Oct 05 14:59:23 2017 +0200
     2.2 +++ b/isac-java/src/java/properties-templates.windows/Editor.properties	Fri Oct 27 17:58:43 2017 +0200
     2.3 @@ -1,4 +1,17 @@
     2.4 +# settings for the MAWEN formula editor
     2.5 +# EDITOR=JTextField maintains formulas as Strings (other properties irrelevant then)
     2.6  
     2.7 -
     2.8 -# true false
     2.9 -ISEDITOTVISIBLE=true
    2.10 \ No newline at end of file
    2.11 +# switch between JTextField and MAWEN: uncomment ONE of the subsequent lines
    2.12 +# in case there is no effect, directoy edit repos/isac-java/bin/properties/Editor.properties,
    2.13 +# (which sometimes is NOT done by eclipse automatically)
    2.14 +EDITOR=JTextField
    2.15 +#EDITOR=MAWEN
    2.16 +# change position of formula by <ctrl><mouse-drag>
    2.17 +IS_DRAG_ALLOWED=true
    2.18 +# change size of formula by <ctrl><mouse-wheel>
    2.19 +IS_ZOOM_ALLOWED=true
    2.20 +#START_ZOOM_FACTOR=1  ..1/3 larger than vvv
    2.21 +START_ZOOM_FACTOR=0.7
    2.22 +START_X=15
    2.23 +#START_Y=15   ..Panel zu hoch
    2.24 +START_Y=25
    2.25 \ No newline at end of file