equal
deleted
inserted
replaced
8 ## sources |
8 ## sources |
9 |
9 |
10 declare -a SOURCES=( |
10 declare -a SOURCES=( |
11 "src/active.scala" |
11 "src/active.scala" |
12 "src/bibtex_jedit.scala" |
12 "src/bibtex_jedit.scala" |
13 "src/bibtex_token_markup.scala" |
|
14 "src/completion_popup.scala" |
13 "src/completion_popup.scala" |
15 "src/context_menu.scala" |
14 "src/context_menu.scala" |
16 "src/dockable.scala" |
15 "src/dockable.scala" |
17 "src/document_model.scala" |
16 "src/document_model.scala" |
18 "src/document_view.scala" |
17 "src/document_view.scala" |