Skip to main content



      Home
Home » Eclipse Projects » Eclipse Platform » Turn off ".* resources" filter by default in xml?
Turn off ".* resources" filter by default in xml? [message #307134] Mon, 14 August 2006 14:49 Go to next message
Eclipse UserFriend
In the Project Explorer, how do I turn off the ".* resources" filter? I do
NOT mean by using the Filters GUI in Eclipse. When our product launches, I
want it to be off without the end user having to manually fiddle with that
UI. I assume thats possible via some plugin.xml but Im not sure what
extension point or preference needs to be modified.

I can see org.eclipse.ui.navigator.ProjectExplorer.filterActivation in my
workspace's org.eclipse.ui.navigator.prefs getting modified when I manually
tweak this, but how can I override the default value?

Thanks in advance
Dave
Re: Turn off ".* resources" filter by default in xml? [message #307136 is a reply to message #307134] Mon, 14 August 2006 14:58 Go to previous messageGo to next message
Eclipse UserFriend
David Rostowsky wrote:
> In the Project Explorer, how do I turn off the ".* resources" filter? I do
> NOT mean by using the Filters GUI in Eclipse. When our product launches, I
> want it to be off without the end user having to manually fiddle with that
> UI. I assume thats possible via some plugin.xml but Im not sure what
> extension point or preference needs to be modified.
>
> I can see org.eclipse.ui.navigator.ProjectExplorer.filterActivation in my
> workspace's org.eclipse.ui.navigator.prefs getting modified when I manually
> tweak this, but how can I override the default value?

you can specify a product_customization.ini file for you product, then
set the pref in that: ex:
org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false

so probably something like:
org.eclipse.ui.navigator/org.eclipse.ui.navigator.ProjectExp lorer.filterActivation= <whatever>

Later,
PW
Re: Turn off ".* resources" filter by default in xml? [message #307146 is a reply to message #307136] Mon, 14 August 2006 15:53 Go to previous message
Eclipse UserFriend
Thanks. Ill play around with that. Ive used that before for other
preferences, but its always hard to find the right preference name.

"Paul Webster" <pwebster@ca.ibm.com> wrote in message
news:ebqh7r$npf$1@utils.eclipse.org...
> David Rostowsky wrote:
>> In the Project Explorer, how do I turn off the ".* resources" filter? I
>> do NOT mean by using the Filters GUI in Eclipse. When our product
>> launches, I want it to be off without the end user having to manually
>> fiddle with that UI. I assume thats possible via some plugin.xml but Im
>> not sure what extension point or preference needs to be modified.
>>
>> I can see org.eclipse.ui.navigator.ProjectExplorer.filterActivation in my
>> workspace's org.eclipse.ui.navigator.prefs getting modified when I
>> manually tweak this, but how can I override the default value?
>
> you can specify a product_customization.ini file for you product, then set
> the pref in that: ex:
> org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=false
>
> so probably something like:
> org.eclipse.ui.navigator/org.eclipse.ui.navigator.ProjectExp lorer.filterActivation= <whatever>
>
> Later,
> PW
Previous Topic:Properties view question - what about bad values?
Next Topic:XML Topics in Eclipse Help
Goto Forum:
  


Current Time: Wed Apr 16 04:21:43 EDT 2025

Powered by FUDForum. Page generated in 0.24902 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top