# HG changeset patch
# User wenzelm
# Date 1377250877 -7200
# Node ID 051cbf663b5fbd7c2d5249757d013dbb8191f598
# Parent  317077e35b0e27a96c97fa7467b98f4abb5a1196
added action isabelle.reset-font-size;

diff -r 317077e35b0e -r 051cbf663b5f NEWS
--- a/NEWS	Fri Aug 23 11:23:26 2013 +0200
+++ b/NEWS	Fri Aug 23 11:41:17 2013 +0200
@@ -88,6 +88,10 @@
 
 * Option to skip over proofs, using implicit 'sorry' internally.
 
+* Action isabelle.reset-font-size resets main text area font size
+according to Isabelle/Scala plugin option "jedit_font_reset_size"
+(cf. keyboard shortcut C+0).
+
 
 *** Pure ***
 
diff -r 317077e35b0e -r 051cbf663b5f src/Tools/jEdit/etc/options
--- a/src/Tools/jEdit/etc/options	Fri Aug 23 11:23:26 2013 +0200
+++ b/src/Tools/jEdit/etc/options	Fri Aug 23 11:41:17 2013 +0200
@@ -3,6 +3,9 @@
 public option jedit_logic : string = ""
   -- "default logic session"
 
+public option jedit_reset_font_size : int = 18
+  -- "reset font size for main text area"
+
 public option jedit_font_scale : real = 1.0
   -- "scale factor of add-on panels wrt. main text area"
 
diff -r 317077e35b0e -r 051cbf663b5f src/Tools/jEdit/src/actions.xml
--- a/src/Tools/jEdit/src/actions.xml	Fri Aug 23 11:23:26 2013 +0200
+++ b/src/Tools/jEdit/src/actions.xml	Fri Aug 23 11:41:17 2013 +0200
@@ -92,6 +92,11 @@
 	    isabelle.jedit.Isabelle.toggle_node_required(view);
 	  </CODE>
 	</ACTION>
+	<ACTION NAME="isabelle.reset-font-size">
+	  <CODE>
+	    isabelle.jedit.Isabelle.reset_font_size(view);
+	  </CODE>
+	</ACTION>
 	<ACTION NAME="isabelle.increase-font-size">
 	  <CODE>
 	    isabelle.jedit.Isabelle.increase_font_size(view);
diff -r 317077e35b0e -r 051cbf663b5f src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Fri Aug 23 11:23:26 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Fri Aug 23 11:41:17 2013 +0200
@@ -107,6 +107,8 @@
     view.getStatus.setMessageAndClear("Text font size: " + size)
   }
 
+  def reset_font_size(view: View): Unit =
+    change_font_size(view, _ => PIDE.options.int("jedit_reset_font_size"))
   def increase_font_size(view: View): Unit = change_font_size(view, i => i + ((i / 10) max 1))
   def decrease_font_size(view: View): Unit = change_font_size(view, i => i - ((i / 10) max 1))
 
diff -r 317077e35b0e -r 051cbf663b5f src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Aug 23 11:23:26 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Aug 23 11:41:17 2013 +0200
@@ -207,6 +207,8 @@
 isabelle.increase-font-size2.shortcut=C+EQUALS
 #isabelle.increase-font-size2.shortcut2=C+ADD
 isabelle.reset-continuous-checking.label=Reset continuous checking
+isabelle.reset-font-size.label=Reset font size
+isabelle.reset-font-size.shortcut=C+0
 isabelle.reset-node-required.label=Reset node required
 isabelle.set-continuous-checking.label=Set continuous checking
 isabelle.set-node-required.label=Set node required