Skip to content

Instantly share code, notes, and snippets.

@johndevs
Last active December 9, 2016 07:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save johndevs/245b7f2e12887655ec320d2869470416 to your computer and use it in GitHub Desktop.
Save johndevs/245b7f2e12887655ec320d2869470416 to your computer and use it in GitHub Desktop.
Hide plugin preference page depending on if plugin is installed (why doesn't this work?)
<extension point="org.eclipse.ui.propertyPages">
<page id="com.example.ProjectPreferencesPage"
class="com.example.MyProjectPreferencePage"
category="my-category"
name="Exaple">
<hiddenWhen>
<adapt type="org.eclipse.core.runtime.Platform">
<with variable="platform">
<test property="org.eclipse.core.runtime.isBundleInstalled" args="some.other.plugin"/>
</with>
</adapt>
</hiddenWhen>
</page>
</extension>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment