diff options
| author | Andrey Loskutov | 2017-12-27 17:10:13 +0000 |
|---|---|---|
| committer | Andrey Loskutov | 2017-12-27 17:10:13 +0000 |
| commit | 9918ee7e4b95e09fded8c210ad3d5e0f046f1045 (patch) | |
| tree | 749d700ed68ad141b68c7ff397cd58a9fc085183 /org.eclipse.ui.console/plugin.xml | |
| parent | e323d5f8870d7c4788f5812ef6a349abe1ddba52 (diff) | |
| download | eclipse.platform.debug-9918ee7e4b95e09fded8c210ad3d5e0f046f1045.tar.gz eclipse.platform.debug-9918ee7e4b95e09fded8c210ad3d5e0f046f1045.tar.xz eclipse.platform.debug-9918ee7e4b95e09fded8c210ad3d5e0f046f1045.zip | |
Bug 529248 - "New console" should be on top, and other consoles orderI20180104-0030I20180103-2000I20180103-0140I20180102-2215I20180102-2000I20180101-2000I20171231-2000I20171230-1500I20171229-2000I20171228-2000I20171227-2000
fixed
Separated semantically different "New Console" contribution from other
console *page* contributions by placing it on top and adding a separator
after it. Additionally added a "Console" icon to it and sorted remaining
contributions alphabetically.
Change-Id: I2bfb18753637fe84c668f7a93dcd7c878a19d7f7
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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index cef75eac1..c2d548e66 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -75,6 +75,7 @@ M4 = Platform-specific fourth key point="org.eclipse.ui.console.consoleFactories"> <consoleFactory label="%consoleViewConsoleFactory.name" + icon="$nl$/icons/full/cview16/console_view.png" class="org.eclipse.ui.internal.console.ConsoleViewConsoleFactory"/> </extension> <extension |