diff -r bc82d25af543 -r 4ff5d795ed08 src/Tools/jEdit/lib/Tools/jedit
--- 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"