diff options
| author | Darin Wright | 2005-02-22 14:53:46 +0000 |
|---|---|---|
| committer | Darin Wright | 2005-02-22 14:53:46 +0000 |
| commit | 7de9eeac39b937a4abdb081134350be5736c2f2a (patch) | |
| tree | 0460e9c5d045baf6201017bb4bc0c266fb9dc22b /org.eclipse.debug.ui | |
| parent | 0c486e746aa3e1244a2d520638f0709b0be8e2a0 (diff) | |
| download | eclipse.platform.debug-7de9eeac39b937a4abdb081134350be5736c2f2a.tar.gz eclipse.platform.debug-7de9eeac39b937a4abdb081134350be5736c2f2a.tar.xz eclipse.platform.debug-7de9eeac39b937a4abdb081134350be5736c2f2a.zip | |
Bug 81211 - [KeyBindings] preference page: key bindings don't show relevant platform
Diffstat (limited to 'org.eclipse.debug.ui')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index a09b834e0..b9a049076 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -1752,10 +1752,11 @@ M4 = Platform-specific fourth key keySequence="CTRL+Z"> </keyBinding> <keyBinding - commandId="org.eclipse.debug.ui.commands.eof" - contextId="org.eclipse.debug.ui.console" - keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration" - keySequence="CTRL+D"> + commandId="org.eclipse.debug.ui.commands.eof" + contextId="org.eclipse.debug.ui.console" + keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration" + keySequence="CTRL+D" + platform="gtk, motif, carbon"> </keyBinding> <!-- views --> <command |