diff options
Diffstat (limited to 'org.eclipse.tips.ide/plugin.xml')
-rw-r--r-- | org.eclipse.tips.ide/plugin.xml | 189 |
1 files changed, 189 insertions, 0 deletions
diff --git a/org.eclipse.tips.ide/plugin.xml b/org.eclipse.tips.ide/plugin.xml new file mode 100644 index 000000000..9fc3c7f66 --- /dev/null +++ b/org.eclipse.tips.ide/plugin.xml @@ -0,0 +1,189 @@ +<?xml version="1.0" encoding="UTF-8"?> +<?eclipse version="3.4"?> +<!-- + Copyright (c) 2018 Remain Software + 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 + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + wim.jongman@remainsoftware.com - initial API and implementation + --> + +<plugin> + <extension + point="org.eclipse.ui.startup"> + <startup + class="org.eclipse.tips.ide.internal.Startup"> + </startup> + </extension> + <extension + point="org.eclipse.ui.commands"> + <command + defaultHandler="org.eclipse.tips.ide.internal.TipsHandler" + id="org.eclipse.tips.ide.command.open" + name="Tip of the Day"> + </command> + <command + id="org.eclipse.tips.ide.command.trim.open" + name="Tip of the Day"> + </command> + </extension> + <extension + point="org.eclipse.ui.menus"> + <menuContribution + allPopups="false" + locationURI="menu:help?before=tipsAndTricks"> + <command + commandId="org.eclipse.tips.ide.command.open" + icon="icons/lightbulb.png" + id="org.eclipse.tips.ide.tip.menu" + label="Tip of the Day" + style="push"> variable="newtips"> + </command> + </menuContribution> + <menuContribution + allPopups="false" + locationURI="toolbar:org.eclipse.ui.trim.status"> + <toolbar + id="org.eclipse.tips.ide.toolbar.status" + label="Tip of the Day Toolbar"> + <command + commandId="org.eclipse.tips.ide.command.trim.open" + icon="icons/lightbulb.png" + id="org.eclipse.tips.ide.tip.tool" + label="Tip of the Day" + style="push"> + <visibleWhen + checkEnabled="false"> + <with + variable="newtips"> + <equals + value="true"> + </equals> + </with> + </visibleWhen> + </command> + </toolbar> + </menuContribution> + </extension> + <extension + point="org.eclipse.ui.themes"> + <themeElementCategory + id="org.eclipse.tips.presentation" + label="Tip of the Day"> + </themeElementCategory> + <fontDefinition + categoryId="org.eclipse.tips.presentation" + defaultsTo="org.eclipse.jface.textfont" + id="org.eclipse.tips.browser.font" + label="Browser font"> + <description> + The browser font (may be overridden by HTML and CSS) + </description> + </fontDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.browser.background.color" + label="Browser background color" + value="COLOR_WHITE"> + <description> + The browser background color (may be overridden by HTML and CSS) + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.browser.foreground.color" + label="Browser foreground color" + value="COLOR_BLACK"> + <description> + The browser foreground color (may be overridden by HTML and CSS) + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.hover.color" + label="Slider button hover color" + value="COLOR_GRAY"> + <description> + The background color of the button when the mouse hovers over the button. + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.selection.color" + label="Slider button selection color" + value="COLOR_TITLE_BACKGROUND"> + <description> + The color of the button when this is the selected button. + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.unreadTipCount.background.color" + label="Unread tip counter background color" + value="COLOR_RED"> + <description> + The background color of the tip counter badge when in unread mode. + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.unreadTipCount.foreground.color" + label="Unread tip counter foreground color" + value="COLOR_WHITE"> + <description> + The foreground color of the tip counter badge when in unread mode. + </description> + </colorDefinition> + <fontDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.badge.font" + label="Slider badge font" + value="Sans-bold-10"> + <description> + The counter badge font. + </description> + </fontDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.tipCount.background.color" + label="Tip counter background color" + value="COLOR_DARK_GREEN"> + <description> + The background color of the counter badge when not in unread mode. + </description> + </colorDefinition> + <colorDefinition + categoryId="org.eclipse.tips.presentation" + id="org.eclipse.tips.slider.tipCount.foreground.color" + label="Tip counter foreground color" + value="COLOR_WHITE"> + <description> + The background color of the tip counter badge when not in unread mode. + </description> + </colorDefinition> + </extension> + <extension + point="org.eclipse.ui.handlers"> + <handler + class="org.eclipse.tips.ide.internal.TipsHandler" + commandId="org.eclipse.tips.ide.command.trim.open"> + <activeWhen> + <with + variable="newtips"> + <equals + value="true"> + </equals> + </with> + </activeWhen> + </handler> + </extension> + <extension + point="org.eclipse.core.runtime.preferences"> + <initializer + class="org.eclipse.tips.ide.internal.Preferences"> + </initializer> + </extension> +</plugin> |