1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/editor/USAGE	Thu Oct 05 14:59:23 2017 +0200
     1.3 @@ -0,0 +1,52 @@
     1.4 +usage of the mawen editor.
     1.5 +Entering and leaving edit mode(s) ist a seamless continuation of handling JTextField --
     1.6 +-- this REQUIRES REVIEW AND SIMPLIFICATION.
     1.7 +
     1.8 +(1) enter the editor for formula f (indicate by reed icon in JTree)
     1.9 +(1.1) by separate clicks
    1.10 +(1.1.1) make f the active formula by <mouse click>
    1.11 +(1.1.2) enter edit-mode
    1.12 +(1.1) by 3-click
    1.13 +
    1.14 +(2) move and zoom formula: from (1)
    1.15 +(2.1) move by <ctrl>+<mouse drag>
    1.16 +(2.1) zoom by <mouse wheel>
    1.17 +
    1.18 +(3) framing subterms of f: from (1)
    1.19 +(3.1) show daynamically according to <mouse move>
    1.20 +      only the frame over the whole formula remains stable.
    1.21 +      (3.1) can be disabled by isac/mawen/editor/Settings.drawBoxesOnMouseMove
    1.22 +(3.2) highlight a subterm by <mouse rectangle>
    1.23 +      This subterm is sent to the Braille; it can be changed with arrow keys.
    1.24 +(3.3) frame set by system
    1.25 +      Colours set by isac/mawen/editor/Settings.ColorMapping
    1.26 +
    1.27 +(4) navigate over subterms by arrows <down>, <up>, <right>, <left>
    1.28 +(4.1) navigate <down> to subterm
    1.29 +      operators are found first, i.e in "a + b" first "+"
    1.30 +      Note: in case of "/" nothing is displayed (graphics, no Ast)
    1.31 +(4.2) navigate <up> extends frame, finally up to whole f
    1.32 +(4.3) navigate <right> in a subterm first finds the operator (whether infix or not)
    1.33 +      and then the argument(s).
    1.34 +      Note: <right> after the last argument finds operator again
    1.35 +            THIS IS UNUSABLE FOR BLIND PERSONS: TODO stop with sound
    1.36 +(4.4) navigate <left> vice versa to (4.3)
    1.37 +
    1.38 +(5) start editing f sets the cursor
    1.39 +(5.1) by <ctrl>+<mouse click> on subterm 
    1.40 +(5.2) after framing (3.2) of subterm by <F2>
    1.41 +      Note: at (3.2) TODO: SET CURSOR IMMEDIATELY
    1.42 +
    1.43 +(6) quit editor
    1.44 +(6.1) <esc>, implemented by JTree
    1.45 +(6.2) <mouse click> on another formula
    1.46 +(6.3) <enter> local check
    1.47 +(6.4) <ctrl>+<enter> Isabelle check
    1.48 +
    1.49 +
    1.50 +(7) edit and delete
    1.51 +(7.1) input from scratch: parentheses are set according to (range of) cursor
    1.52 +      Note TODO: parentheses are not shown properly
    1.53 +(7.2) delete by <delete> or <backspace>
    1.54 +(7.3) insert subterm goes via (7.2)
    1.55 +	  Note TODO: redesign update/extension of subterms