--- a/src/Tools/jEdit/src/actions.xml Sun Jun 23 20:12:01 2013 +0200
+++ b/src/Tools/jEdit/src/actions.xml Sun Jun 23 20:26:31 2013 +0200
@@ -62,11 +62,21 @@
isabelle.jedit.Isabelle.increase_font_size(view);
</CODE>
</ACTION>
+ <ACTION NAME="isabelle.increase-font-size2">
+ <CODE>
+ isabelle.jedit.Isabelle.increase_font_size(view);
+ </CODE>
+ </ACTION>
<ACTION NAME="isabelle.decrease-font-size">
<CODE>
isabelle.jedit.Isabelle.decrease_font_size(view);
</CODE>
</ACTION>
+ <ACTION NAME="isabelle.decrease-font-size2">
+ <CODE>
+ isabelle.jedit.Isabelle.decrease_font_size(view);
+ </CODE>
+ </ACTION>
<ACTION NAME="isabelle.control-sub">
<CODE>
isabelle.jedit.Isabelle.control_sub(textArea);