equal
deleted
inserted
replaced
25 "src/jedit_lib.scala" |
25 "src/jedit_lib.scala" |
26 "src/jedit_main.scala" |
26 "src/jedit_main.scala" |
27 "src/jedit_options.scala" |
27 "src/jedit_options.scala" |
28 "src/jedit_thy_load.scala" |
28 "src/jedit_thy_load.scala" |
29 "src/monitor_dockable.scala" |
29 "src/monitor_dockable.scala" |
|
30 "src/osx_adapter.scala" |
30 "src/output_dockable.scala" |
31 "src/output_dockable.scala" |
31 "src/plugin.scala" |
32 "src/plugin.scala" |
32 "src/pretty_text_area.scala" |
33 "src/pretty_text_area.scala" |
33 "src/pretty_tooltip.scala" |
34 "src/pretty_tooltip.scala" |
34 "src/protocol_dockable.scala" |
35 "src/protocol_dockable.scala" |