diff options
author | Kevin Barnes | 2004-06-08 20:53:20 +0000 |
---|---|---|
committer | Kevin Barnes | 2004-06-08 20:53:20 +0000 |
commit | 9d9e83d7e57ce5c9c0cd93a3fef58dcbbdc5e941 (patch) | |
tree | 2222745ac818f9dc63a6fa5126c4690142c75ffe /org.eclipse.ui.console/plugin.xml | |
parent | 74c0ab40939ae1717d37aeeae74ea0e2b24d79b2 (diff) | |
download | eclipse.platform.debug-9d9e83d7e57ce5c9c0cd93a3fef58dcbbdc5e941.tar.gz eclipse.platform.debug-9d9e83d7e57ce5c9c0cd93a3fef58dcbbdc5e941.tar.xz eclipse.platform.debug-9d9e83d7e57ce5c9c0cd93a3fef58dcbbdc5e941.zip |
Bug 66187 - Polish patch: support view activation via a keyboard shortcut
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index 106b39ba5..9fdfc65b0 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -31,6 +31,21 @@ id="org.eclipse.ui.console.ConsoleView"> </view> </extension> + <extension + point="org.eclipse.ui.commands"> + <command + name="%ViewCommand.consoleView.name" + description="%ViewCommand.consoleView.description" + category="org.eclipse.ui.category.views" + id="org.eclipse.ui.console.ConsoleView"> + </command> + <keyBinding + string="" + scope="org.eclipse.ui.globalScope" + command="org.eclipse.ui.console.ConsoleView" + configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> + </keyBinding> + </extension> <extension point="org.eclipse.ui.themes"> <fontDefinition |