equal
deleted
inserted
replaced
219 src/Tools/VSCode/src/state_panel.scala \ |
219 src/Tools/VSCode/src/state_panel.scala \ |
220 src/Tools/VSCode/src/textmate_grammar.scala \ |
220 src/Tools/VSCode/src/textmate_grammar.scala \ |
221 src/Tools/VSCode/src/vscode_model.scala \ |
221 src/Tools/VSCode/src/vscode_model.scala \ |
222 src/Tools/VSCode/src/vscode_rendering.scala \ |
222 src/Tools/VSCode/src/vscode_rendering.scala \ |
223 src/Tools/VSCode/src/vscode_resources.scala \ |
223 src/Tools/VSCode/src/vscode_resources.scala \ |
|
224 src/Tools/VSCode/src/vscode_setup.scala \ |
224 src/Tools/VSCode/src/vscode_spell_checker.scala \ |
225 src/Tools/VSCode/src/vscode_spell_checker.scala \ |
225 src/Tools/jEdit/src/active.scala \ |
226 src/Tools/jEdit/src/active.scala \ |
226 src/Tools/jEdit/src/base_plugin.scala \ |
227 src/Tools/jEdit/src/base_plugin.scala \ |
227 src/Tools/jEdit/src/completion_popup.scala \ |
228 src/Tools/jEdit/src/completion_popup.scala \ |
228 src/Tools/jEdit/src/context_menu.scala \ |
229 src/Tools/jEdit/src/context_menu.scala \ |