diff options
author | Dani Megert | 2016-02-11 08:26:50 +0000 |
---|---|---|
committer | Dani Megert | 2016-02-11 08:26:50 +0000 |
commit | 1029ed902da28e20adbb48f5597c60b295e324f9 (patch) | |
tree | 617df86b5007490b05a0f7db19c134729b485970 | |
parent | c4e62d86fa3ec59253fda4854c489060344c62b1 (diff) | |
download | eclipse.jdt.debug-1029ed902da28e20adbb48f5597c60b295e324f9.tar.gz eclipse.jdt.debug-1029ed902da28e20adbb48f5597c60b295e324f9.tar.xz eclipse.jdt.debug-1029ed902da28e20adbb48f5597c60b295e324f9.zip |
Fixed bug 487593: GTK: Remove Ctrl+Shift+V as keybinding for the Display command
-rw-r--r-- | org.eclipse.jdt.debug.ui/plugin.xml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/org.eclipse.jdt.debug.ui/plugin.xml b/org.eclipse.jdt.debug.ui/plugin.xml index f75540245..4eb9ecefd 100644 --- a/org.eclipse.jdt.debug.ui/plugin.xml +++ b/org.eclipse.jdt.debug.ui/plugin.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.0"?> <!-- - Copyright (c) 2005, 2015 IBM Corporation and others. + Copyright (c) 2005, 2016 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at @@ -2748,12 +2748,6 @@ M4 = Platform-specific fourth key contextId="org.eclipse.ui.contexts.dialogAndWindow" commandId="org.eclipse.jdt.debug.ui.commands.Display" schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> - <key - platform="gtk" - sequence="M1+M2+V" - contextId="org.eclipse.ui.contexts.dialogAndWindow" - commandId="org.eclipse.jdt.debug.ui.commands.Display" - schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> <key sequence="M1+M2+I" contextId="org.eclipse.ui.contexts.dialogAndWindow" |