changeset 50143 | 4ff5d795ed08 |
parent 50120 | 245f5947233c |
child 50183 | 2b3e24e1c9e7 |
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Nov 21 11:08:56 2012 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Wed Nov 21 10:51:12 2012 +0100 @@ -35,6 +35,7 @@ "src/scala_console.scala" "src/sendback.scala" "src/session_dockable.scala" + "src/symbols_dockable.scala" "src/syslog_dockable.scala" "src/text_overview.scala" "src/token_markup.scala"