added action isabelle.reset-font-size;
authorwenzelm
Fri Aug 23 11:41:17 2013 +0200 (2013-08-23)
changeset 53161051cbf663b5f
parent 53160 317077e35b0e
child 53162 f03ec7fae947
added action isabelle.reset-font-size;
NEWS
src/Tools/jEdit/etc/options
src/Tools/jEdit/src/actions.xml
src/Tools/jEdit/src/isabelle.scala
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/NEWS	Fri Aug 23 11:23:26 2013 +0200
     1.2 +++ b/NEWS	Fri Aug 23 11:41:17 2013 +0200
     1.3 @@ -88,6 +88,10 @@
     1.4  
     1.5  * Option to skip over proofs, using implicit 'sorry' internally.
     1.6  
     1.7 +* Action isabelle.reset-font-size resets main text area font size
     1.8 +according to Isabelle/Scala plugin option "jedit_font_reset_size"
     1.9 +(cf. keyboard shortcut C+0).
    1.10 +
    1.11  
    1.12  *** Pure ***
    1.13  
     2.1 --- a/src/Tools/jEdit/etc/options	Fri Aug 23 11:23:26 2013 +0200
     2.2 +++ b/src/Tools/jEdit/etc/options	Fri Aug 23 11:41:17 2013 +0200
     2.3 @@ -3,6 +3,9 @@
     2.4  public option jedit_logic : string = ""
     2.5    -- "default logic session"
     2.6  
     2.7 +public option jedit_reset_font_size : int = 18
     2.8 +  -- "reset font size for main text area"
     2.9 +
    2.10  public option jedit_font_scale : real = 1.0
    2.11    -- "scale factor of add-on panels wrt. main text area"
    2.12  
     3.1 --- a/src/Tools/jEdit/src/actions.xml	Fri Aug 23 11:23:26 2013 +0200
     3.2 +++ b/src/Tools/jEdit/src/actions.xml	Fri Aug 23 11:41:17 2013 +0200
     3.3 @@ -92,6 +92,11 @@
     3.4  	    isabelle.jedit.Isabelle.toggle_node_required(view);
     3.5  	  </CODE>
     3.6  	</ACTION>
     3.7 +	<ACTION NAME="isabelle.reset-font-size">
     3.8 +	  <CODE>
     3.9 +	    isabelle.jedit.Isabelle.reset_font_size(view);
    3.10 +	  </CODE>
    3.11 +	</ACTION>
    3.12  	<ACTION NAME="isabelle.increase-font-size">
    3.13  	  <CODE>
    3.14  	    isabelle.jedit.Isabelle.increase_font_size(view);
     4.1 --- a/src/Tools/jEdit/src/isabelle.scala	Fri Aug 23 11:23:26 2013 +0200
     4.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Fri Aug 23 11:41:17 2013 +0200
     4.3 @@ -107,6 +107,8 @@
     4.4      view.getStatus.setMessageAndClear("Text font size: " + size)
     4.5    }
     4.6  
     4.7 +  def reset_font_size(view: View): Unit =
     4.8 +    change_font_size(view, _ => PIDE.options.int("jedit_reset_font_size"))
     4.9    def increase_font_size(view: View): Unit = change_font_size(view, i => i + ((i / 10) max 1))
    4.10    def decrease_font_size(view: View): Unit = change_font_size(view, i => i - ((i / 10) max 1))
    4.11  
     5.1 --- a/src/Tools/jEdit/src/jEdit.props	Fri Aug 23 11:23:26 2013 +0200
     5.2 +++ b/src/Tools/jEdit/src/jEdit.props	Fri Aug 23 11:41:17 2013 +0200
     5.3 @@ -207,6 +207,8 @@
     5.4  isabelle.increase-font-size2.shortcut=C+EQUALS
     5.5  #isabelle.increase-font-size2.shortcut2=C+ADD
     5.6  isabelle.reset-continuous-checking.label=Reset continuous checking
     5.7 +isabelle.reset-font-size.label=Reset font size
     5.8 +isabelle.reset-font-size.shortcut=C+0
     5.9  isabelle.reset-node-required.label=Reset node required
    5.10  isabelle.set-continuous-checking.label=Set continuous checking
    5.11  isabelle.set-node-required.label=Set node required