src/Tools/jEdit/lib/Tools/jedit
changeset 56585 a0e844c6e1ed
parent 56547 e9bb73d7b6cf
child 56664 8ff8e5d00115
--- a/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 15 10:44:38 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 15 11:05:48 2014 +0200
@@ -10,6 +10,7 @@
 declare -a SOURCES=(
   "src/active.scala"
   "src/completion_popup.scala"
+  "src/context_menu.scala"
   "src/dockable.scala"
   "src/document_model.scala"
   "src/document_view.scala"