src/Tools/jEdit/src/services.xml
changeset 56585 a0e844c6e1ed
parent 56576 86148ca3c4fd
child 56906 408b526911f7
     1.1 --- a/src/Tools/jEdit/src/services.xml	Tue Apr 15 10:44:38 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Tue Apr 15 11:05:48 2014 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  <SERVICES>
     1.6    <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
     1.7 -    new isabelle.jedit.Spell_Checker_Menu();
     1.8 +    new isabelle.jedit.Context_Menu();
     1.9    </SERVICE>
    1.10    <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
    1.11      new isabelle.jedit.Isabelle_Encoding();