src/Tools/jEdit/src/services.xml
changeset 56936 6dd8866eca69
parent 56906 408b526911f7
child 58526 f05ccce3eca2
     1.1 --- a/src/Tools/jEdit/src/services.xml	Fri May 09 23:00:18 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Sun May 11 20:23:08 2014 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4      new isabelle.jedit.Context_Menu();
     1.5    </SERVICE>
     1.6  	<SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
     1.7 -		new org.gjt.sp.jedit.gui.PIDE_Docking_Framework();
     1.8 +		new isabelle.jedit.PIDE_Docking_Framework();
     1.9  	</SERVICE>
    1.10    <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
    1.11      new isabelle.jedit.Isabelle_Encoding();