src/Tools/jEdit/src/services.xml
changeset 58694 983e98da2a42
parent 58546 72e2b2a609c4
child 63606 fc3a23763617
     1.1 --- a/src/Tools/jEdit/src/services.xml	Thu Oct 16 10:59:43 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Thu Oct 16 12:09:57 2014 +0200
     1.3 @@ -2,12 +2,15 @@
     1.4  <!DOCTYPE SERVICES SYSTEM "services.dtd">
     1.5  
     1.6  <SERVICES>
     1.7 +  <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle">
     1.8 +    new isabelle.jedit.Fold_Handling.Fold_Handler();
     1.9 +  </SERVICE>
    1.10    <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
    1.11      new isabelle.jedit.Context_Menu();
    1.12    </SERVICE>
    1.13 -	<SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
    1.14 -		new isabelle.jedit.PIDE_Docking_Framework();
    1.15 -	</SERVICE>
    1.16 +  <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
    1.17 +    new isabelle.jedit.PIDE_Docking_Framework();
    1.18 +  </SERVICE>
    1.19    <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
    1.20      new isabelle.jedit.Isabelle_Encoding();
    1.21    </SERVICE>