src/Tools/jEdit/lib/Tools/jedit
changeset 56585 a0e844c6e1ed
parent 56547 e9bb73d7b6cf
child 56664 8ff8e5d00115
equal deleted inserted replaced
56584:9ccbac38bcad 56585:a0e844c6e1ed
     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/completion_popup.scala"
       
    13   "src/context_menu.scala"
    13   "src/dockable.scala"
    14   "src/dockable.scala"
    14   "src/document_model.scala"
    15   "src/document_model.scala"
    15   "src/document_view.scala"
    16   "src/document_view.scala"
    16   "src/documentation_dockable.scala"
    17   "src/documentation_dockable.scala"
    17   "src/find_dockable.scala"
    18   "src/find_dockable.scala"