equal
deleted
inserted
replaced
234 src/Tools/jEdit/src/base_plugin.scala \ |
234 src/Tools/jEdit/src/base_plugin.scala \ |
235 src/Tools/jEdit/src/completion_popup.scala \ |
235 src/Tools/jEdit/src/completion_popup.scala \ |
236 src/Tools/jEdit/src/context_menu.scala \ |
236 src/Tools/jEdit/src/context_menu.scala \ |
237 src/Tools/jEdit/src/debugger_dockable.scala \ |
237 src/Tools/jEdit/src/debugger_dockable.scala \ |
238 src/Tools/jEdit/src/dockable.scala \ |
238 src/Tools/jEdit/src/dockable.scala \ |
|
239 src/Tools/jEdit/src/document_dockable.scala \ |
239 src/Tools/jEdit/src/document_model.scala \ |
240 src/Tools/jEdit/src/document_model.scala \ |
240 src/Tools/jEdit/src/document_view.scala \ |
241 src/Tools/jEdit/src/document_view.scala \ |
241 src/Tools/jEdit/src/documentation_dockable.scala \ |
242 src/Tools/jEdit/src/documentation_dockable.scala \ |
242 src/Tools/jEdit/src/fold_handling.scala \ |
243 src/Tools/jEdit/src/fold_handling.scala \ |
243 src/Tools/jEdit/src/font_info.scala \ |
244 src/Tools/jEdit/src/font_info.scala \ |