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"