diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index 4dd2cd678b6..a2e0556bbe0 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -431,6 +431,17 @@ keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration" keySequence="Ctrl+Shift+E"> </keyBinding> + <keyBinding + platform="gtk" + keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration" + keySequence="Ctrl+Shift+E"> + </keyBinding> + <keyBinding + platform="gtk" + commandId="org.eclipse.ui.edit.text.delete.line.to.end" + keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration" + keySequence="Esc Ctrl+E"> + </keyBinding> <keyBinding commandId="org.eclipse.ui.edit.findNext" contextId="org.eclipse.ui.textEditorScope" |