changeset 61208 | 19118f9b939d |
parent 61171 | 2a56a53d78f9 |
child 61288 | 9399860edb46 |
--- a/src/Tools/jEdit/lib/Tools/jedit Mon Sep 21 14:56:10 2015 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Mon Sep 21 14:56:55 2015 +0200 @@ -59,6 +59,7 @@ "src/simplifier_trace_window.scala" "src/sledgehammer_dockable.scala" "src/spell_checker.scala" + "src/state_dockable.scala" "src/structure_matching.scala" "src/symbols_dockable.scala" "src/syslog_dockable.scala"