diff options
author | Andrey Loskutov | 2018-02-26 18:23:29 +0000 |
---|---|---|
committer | Andrey Loskutov | 2018-02-26 18:23:29 +0000 |
commit | eefc0750ec8bcb8d08a4a3581b7d36f17f9d6163 (patch) | |
tree | 095fbea7e1e94ec300fe3e871d166c7630cc61d7 /org.eclipse.ui.console/plugin.xml | |
parent | 7eb257cfdc47b24e181fc7e9f0fe35ac6518a2b3 (diff) | |
download | eclipse.platform.debug-eefc0750ec8bcb8d08a4a3581b7d36f17f9d6163.tar.gz eclipse.platform.debug-eefc0750ec8bcb8d08a4a3581b7d36f17f9d6163.tar.xz eclipse.platform.debug-eefc0750ec8bcb8d08a4a3581b7d36f17f9d6163.zip |
Bug 495658 - auto scroll lock should work with all consolesI20180227-2000
Moved the logic and the preference value from debug.ui down to the
console.ui plugin.
Change-Id: I9c85c6cf52001c58dbd520a8fada42631e065614
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index c2d548e66..b9ab44e67 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -6,7 +6,7 @@ are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html - + Contributors: IBM Corporation - initial API and implementation --> @@ -30,12 +30,12 @@ </view> </extension> <!-- commands and their bindings -NOTE: -M1 = CTRL/COMMAND -M2 = SHIFT -M3 = ALT +NOTE: +M1 = CTRL/COMMAND +M2 = SHIFT +M3 = ALT M4 = Platform-specific fourth key ---> +--> <extension point="org.eclipse.ui.bindings"> <key commandId="org.eclipse.ui.views.showView" @@ -46,10 +46,10 @@ M4 = Platform-specific fourth key value="org.eclipse.ui.console.ConsoleView"> </parameter> </key> - <key + <key platform="carbon" sequence="M2+M3+Q C" - + schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> <key commandId="org.eclipse.ui.views.showView" @@ -88,4 +88,7 @@ M4 = Platform-specific fourth key </context> </extension> + <extension point="org.eclipse.core.runtime.preferences"> + <initializer class="org.eclipse.ui.internal.console.ConsoleUIPreferenceInitializer"/> + </extension> </plugin> |