[platform-dev] filter question

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[platform-dev] filter question

From: Matt Rossner <mrossner@xxxxxxxxxx>
Date: Mon, 22 Nov 2004 10:43:18 -0500
Delivered-to: platform-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/platform-dev/>
List-help: <mailto:platform-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=unsubscribe>

Hello all,

I was wondering if this has ever been brought up before. A feature for Eclipse filters to ignore any resources that are derived. So it would be a matter of calling IResource.isDerived(), if returns true then do not show in the task list. Or is there already any way to do this with Eclipse that I haven't thought of? Thanks.

Follow-Ups:
- Re: [platform-dev] filter question
  - From: Nick Edgar

Prev by Date: [platform-dev] Azerty/Qwerty key changes
Next by Date: Re: [platform-dev] filter question
Previous by thread: [platform-dev] Azerty/Qwerty key changes
Next by thread: Re: [platform-dev] filter question
Index(es):
- Date
- Thread

Breadcrumbs