Bug 147675

Summary:	Filtered Resources should be defined by extensions.
Product:	[Eclipse Project] JDT	Reporter:	Eiji Morito <eiji.morito>
Component:	Core	Assignee:	JDT-Core-Inbox <jdt-core-inbox>
Status:	NEW ---	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	hinaba
Version:	3.1.1
Target Milestone:	---
Hardware:	PC
OS:	Windows XP
Whiteboard:

Description Eiji Morito

2006-06-18 21:54:50 EDT

We require to be able to define filtered resources by extensions.
In the plugin we develeoped, additional filtered resources should be added.
But there are no extension to add the filtered resources. 
Therefore, we directry adding the filtered resources. 
But In this case, user can remove the filtered resources.
Also, if our plugin is not activated, there is no way to add filtered resources.