diff -r 5f4703de4140 -r f127e949389f src/Tools/jEdit/lib/Tools/jedit --- a/src/Tools/jEdit/lib/Tools/jedit Tue Aug 13 20:35:45 2013 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Tue Aug 13 22:25:24 2013 +0200 @@ -9,6 +9,7 @@ declare -a SOURCES=( "src/active.scala" + "src/completion_popup.scala" "src/dockable.scala" "src/document_model.scala" "src/document_view.scala"