1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 09:25:31 +02:00
cdt/terminal/plugins/org.eclipse.tm.terminal.view.ui
Simeon Andreev bddeeeac3b Bug 568923 - add activity for TM terminal main toolbar button
This change adds an extra activity for the TM terminal main toolbar
contribution. This allows applications to disable the contribution
without disabling the rest of TM terminal functionality.

With this change, disabling of the TM terminal main toolbar button can
be done with a product customization file containing the line:

org.eclipse.ui.workbench/UIActivities.org.eclipse.tm.terminal.view.ui.activity.maintoolbar=false

The product customization file is specified to Eclipse arguments:

-pluginCustomization /some/path/plugin_customization.ini

Change-Id: Id1c34616f4f2a0ac77edbfe201c1db095f9ce7b8
Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>
2020-11-24 12:27:35 +01:00
..
.settings Bug 567810: Squash over zealous warning from PDE 2020-10-12 10:14:26 -04:00
icons Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
META-INF [releng] Update plug-in versions 2020-10-06 16:20:18 -04:00
schema Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
src/org/eclipse/tm/terminal/view/ui Bug 567455 - Stop using the 2020-09-29 19:15:14 +03:00
.classpath Bug 562494: Update BREE to Java 11 2020-08-24 17:50:56 -04:00
.gitignore Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.options Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
.project Move terminal files into subfolder 2018-08-28 12:54:02 -04:00
about.html Bug 551817: Fix legal docs - and automate their checks 2020-08-30 23:15:59 -04:00
about.ini Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.mappings Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
about.properties Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
build.properties Bug 551817: Fix legal docs - and automate their checks 2020-08-30 23:15:59 -04:00
cdt_logo_icon32.png Bug 559474: Provide unique branding plug-in for each feature 2020-01-31 13:15:51 -05:00
contexts.xml Bug 538094 - update to EPL 2.0 (leave EDL 1.0 unchanged) 2018-11-01 12:21:58 -04:00
plugin.properties Bug 568923 - add activity for TM terminal main toolbar button 2020-11-24 12:27:35 +01:00
plugin.xml Bug 568923 - add activity for TM terminal main toolbar button 2020-11-24 12:27:35 +01:00