diff options
| author | Wim Jongman | 2018-05-21 19:03:24 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-05-21 19:03:24 +0000 |
| commit | c81f8a9f764d378df043daa823fd77920cf46765 (patch) | |
| tree | 0699d18cc3899adead247b71337719d0166cc306 /org.eclipse.tips.ide/plugin.xml | |
| parent | 27a67c51418f533eaa785e3c83ccc200edb88c4d (diff) | |
| download | eclipse.platform.ua-c81f8a9f764d378df043daa823fd77920cf46765.tar.gz eclipse.platform.ua-c81f8a9f764d378df043daa823fd77920cf46765.tar.xz eclipse.platform.ua-c81f8a9f764d378df043daa823fd77920cf46765.zip | |
Bug 534921: [Tips] Add Twitter tips to IDE bundleI20180522-2000
[Tips] Add Twitter tips to IDE bundle
Change-Id: I04d92f79732b556c54d83cd7db45c90914bfcf25
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.ide/plugin.xml')
| -rw-r--r-- | org.eclipse.tips.ide/plugin.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/org.eclipse.tips.ide/plugin.xml b/org.eclipse.tips.ide/plugin.xml index 20849e37c..5e01a6c21 100644 --- a/org.eclipse.tips.ide/plugin.xml +++ b/org.eclipse.tips.ide/plugin.xml @@ -193,5 +193,18 @@ description="Tips about Tips" id="org.eclipse.tips.ide.internal.provider.TipsTipProvider"> </provider> + <provider + class="org.eclipse.tips.ide.internal.provider.TwitterTipProvider" + description="Eclipse IDE Twitter Tip Collection" + id="org.eclipse.tips.ide.internal.provider.TwitterTipProvider"> + <enablement> + <with + variable="activeWorkbenchWindow.activePerspective"> + <equals + value="org.eclipse.jdt.ui.JavaPerspective"> + </equals> + </with> + </enablement> + </provider> </extension> </plugin> |