changeset 56583 | c49607db182a |
parent 56581 | af3e6576e680 |
child 56584 | 9ccbac38bcad |
--- a/src/Tools/jEdit/src/spell_checker.scala Tue Apr 15 00:21:31 2014 +0200 +++ b/src/Tools/jEdit/src/spell_checker.scala Tue Apr 15 00:23:15 2014 +0200 @@ -21,8 +21,8 @@ import org.gjt.sp.jedit.jEdit import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea} -import org.gjt.sp.jedit.menu.EnhancedMenuItem; -import org.gjt.sp.jedit.gui.DynamicContextMenuService; +import org.gjt.sp.jedit.menu.EnhancedMenuItem +import org.gjt.sp.jedit.gui.DynamicContextMenuService object Spell_Checker