src/Tools/jEdit/lib/Tools/jedit
changeset 53023 f127e949389f
parent 52981 c7afd884dfb2
child 53246 8d34caf5bf82
equal deleted inserted replaced
53022:5f4703de4140 53023:f127e949389f
     7 
     7 
     8 ## sources
     8 ## sources
     9 
     9 
    10 declare -a SOURCES=(
    10 declare -a SOURCES=(
    11   "src/active.scala"
    11   "src/active.scala"
       
    12   "src/completion_popup.scala"
    12   "src/dockable.scala"
    13   "src/dockable.scala"
    13   "src/document_model.scala"
    14   "src/document_model.scala"
    14   "src/document_view.scala"
    15   "src/document_view.scala"
    15   "src/documentation_dockable.scala"
    16   "src/documentation_dockable.scala"
    16   "src/find_dockable.scala"
    17   "src/find_dockable.scala"