changeset 56547 | e9bb73d7b6cf |
parent 56422 | 7490555d7dff |
child 56585 | a0e844c6e1ed |
--- a/src/Tools/jEdit/lib/Tools/jedit Fri Apr 11 19:07:56 2014 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Fri Apr 11 23:26:31 2014 +0200 @@ -42,6 +42,7 @@ "src/sledgehammer_dockable.scala" "src/simplifier_trace_dockable.scala" "src/simplifier_trace_window.scala" + "src/spell_checker.scala" "src/symbols_dockable.scala" "src/syslog_dockable.scala" "src/text_overview.scala"