Turn off ".* resources" filter by default in xml? [message #307134] |
Mon, 14 August 2006 14:49  |
Eclipse User |
|
|
|
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 #307146 is a reply to message #307136] |
Mon, 14 August 2006 15:53  |
Eclipse User |
|
|
|
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
|
|
|
Powered by
FUDForum. Page generated in 0.24902 seconds