--- 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 ***
--- 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"
--- 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);
--- 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))
--- 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