--- a/src/Tools/jEdit/src/services.xml Thu Oct 16 10:59:43 2014 +0200
+++ b/src/Tools/jEdit/src/services.xml Thu Oct 16 12:09:57 2014 +0200
@@ -2,12 +2,15 @@
<!DOCTYPE SERVICES SYSTEM "services.dtd">
<SERVICES>
+ <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle">
+ new isabelle.jedit.Fold_Handling.Fold_Handler();
+ </SERVICE>
<SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
new isabelle.jedit.Context_Menu();
</SERVICE>
- <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
- new isabelle.jedit.PIDE_Docking_Framework();
- </SERVICE>
+ <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
+ new isabelle.jedit.PIDE_Docking_Framework();
+ </SERVICE>
<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
new isabelle.jedit.Isabelle_Encoding();
</SERVICE>