--- a/src/Tools/jEdit/src/actions.xml Sun Nov 25 15:17:01 2012 +0100
+++ b/src/Tools/jEdit/src/actions.xml Sun Nov 25 17:15:21 2012 +0100
@@ -42,6 +42,16 @@
wm.addDockableWindow("isabelle-symbols");
</CODE>
</ACTION>
+ <ACTION NAME="isabelle.increase-font-size">
+ <CODE>
+ isabelle.jedit.Isabelle_Actions.increase_font_size(view);
+ </CODE>
+ </ACTION>
+ <ACTION NAME="isabelle.decrease-font-size">
+ <CODE>
+ isabelle.jedit.Isabelle_Actions.decrease_font_size(view);
+ </CODE>
+ </ACTION>
<ACTION NAME="isabelle.check-buffer">
<CODE>
isabelle.jedit.Isabelle_Actions.check_buffer(buffer);