src/Tools/jEdit/src/context_menu.scala

--- a/src/Tools/jEdit/src/context_menu.scala	Tue Mar 07 13:55:49 2017 +0100
+++ b/src/Tools/jEdit/src/context_menu.scala	Tue Mar 07 14:33:14 2017 +0100
@@ -29,7 +29,7 @@
         if (evt != null && evt.getSource == text_area.getPainter) {
           val offset = text_area.xyToOffset(evt.getX, evt.getY)
           if (offset >= 0)
-            Spell_Checker.context_menu(text_area, offset) :::
+            JEdit_Spell_Checker.context_menu(text_area, offset) :::
             Debugger_Dockable.context_menu(text_area, offset)
           else Nil
         }