clarified isabelle.update-state;
authorwenzelm
Mon Sep 21 20:21:29 2015 +0200 (2015-09-21 ago)
changeset 6121804c769fe1cb5
parent 61217 566f256f59bb
child 61219 f9aaca00be49
clarified isabelle.update-state;
NEWS
src/Tools/jEdit/src/actions.xml
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/NEWS	Mon Sep 21 17:59:21 2015 +0200
     1.2 +++ b/NEWS	Mon Sep 21 20:21:29 2015 +0200
     1.3 @@ -28,11 +28,11 @@
     1.4  asynchronously, leading to much better editor reactivity. Moreover, the
     1.5  full document node content is taken into account.
     1.6  
     1.7 -* The State panel manages implicit proof state output, with jEdit action
     1.8 -"isabelle-update-state" to trigger update according to cursor position.
     1.9 -Option "editor_output_state" controls implicit proof state output in the
    1.10 -Output panel: suppressing this may reduce resource requirements of
    1.11 -prover time and GUI space.
    1.12 +* The State panel manages explicit proof state output, with jEdit action
    1.13 +"isabelle.update-state" (shortcut S+ENTER) to trigger update according
    1.14 +to cursor position. Option "editor_output_state" controls implicit proof
    1.15 +state output in the Output panel: suppressing this reduces resource
    1.16 +requirements of prover time and GUI space.
    1.17  
    1.18  
    1.19  *** Isar ***
     2.1 --- a/src/Tools/jEdit/src/actions.xml	Mon Sep 21 17:59:21 2015 +0200
     2.2 +++ b/src/Tools/jEdit/src/actions.xml	Mon Sep 21 20:21:29 2015 +0200
     2.3 @@ -32,7 +32,7 @@
     2.4  	    isabelle.jedit.Isabelle.toggle_node_required(view);
     2.5  	  </CODE>
     2.6  	</ACTION>
     2.7 -	<ACTION NAME="isabelle-update-state">
     2.8 +	<ACTION NAME="isabelle.update-state">
     2.9  	  <CODE>
    2.10  	    isabelle.jedit.Isabelle.update_state(view);
    2.11  	  </CODE>
     3.1 --- a/src/Tools/jEdit/src/jEdit.props	Mon Sep 21 17:59:21 2015 +0200
     3.2 +++ b/src/Tools/jEdit/src/jEdit.props	Mon Sep 21 20:21:29 2015 +0200
     3.3 @@ -232,6 +232,8 @@
     3.4  isabelle.toggle-continuous-checking.shortcut=C+e ENTER
     3.5  isabelle.toggle-node-required.label=Toggle node required
     3.6  isabelle.toggle-node-required.shortcut=C+e SPACE
     3.7 +isabelle.update-state.label=Update state output
     3.8 +isabelle.update-state.shortcut=S+ENTER
     3.9  lang.usedefaultlocale=false
    3.10  largefilemode=full
    3.11  line-end.shortcut=END