Eclipse Community Forums: Eclipse Platform » Filter/remove extensions contributed by other plugins?

Help

Home

Home » Eclipse Projects » Eclipse Platform » Filter/remove extensions contributed by other plugins?

Show: Today's Messages :: Show Polls :: Message Navigator

Filter/remove extensions contributed by other plugins? [message #794861]

Thu, 09 February 2012 19:57

Scott Lewis

Messages: 1038
Registered: July 2009

Senior Member

Hi Folks,

Is there a facility to filter...and potentially remove...extensions contributed by other plugins? I know about the extension tracker...which I guess could be used to do this (?), but I thought I remember hearing that there was some declarative way to do such filtering...for ui and other extensions.

Thanks for any pointers/info.

Scott

Report message to a moderator

Re: Filter/remove extensions contributed by other plugins? [message #794942 is a reply to message #794861]

Thu, 09 February 2012 22:10

Thomas Schindl

Messages: 6651
Registered: July 2009

Senior Member

* Activities
* Equinox-Transform

Tom

Am 09.02.12 20:57, schrieb Scott Lewis:
> Hi Folks,
>
> Is there a facility to filter...and potentially remove...extensions
> contributed by other plugins? I know about the extension
> tracker...which I guess could be used to do this (?), but I thought I
> remember hearing that there was some declarative way to do such
> filtering...for ui and other extensions.
>
> Thanks for any pointers/info.
>
> Scott
>

Report message to a moderator