Anonymous avatar Anonymous committed ab4002a

filtered

Comments (0)

Files changed (1)

    </extension>
    <!-- $if version >= 3.0 $ -->
    <extension point="org.eclipse.ui.ide.resourceFilters">
-	  <filter pattern="*.domains" selected="true"/>
-	  <filter pattern="*.imports" selected="true"/>
+	  <filter pattern="gen*" selected="true"/>
+	  <filter pattern="dep*.*" selected="true"/>
+	  <filter pattern="*.dep*.*" selected="true"/>
 	  <filter pattern="*.module" selected="true"/>
+	  <filter pattern="*.*domains" selected="true"/>
+	  <filter pattern="*.*imports" selected="true"/>
+	  <filter pattern="*.0.*" selected="true"/>
+	  <filter pattern="*.1.*" selected="true"/>
+	  <filter pattern="*.2.*" selected="true"/>
+	  <filter pattern="*.3.*" selected="true"/>
+	  <filter pattern="*.log" selected="true"/>
+	  <filter pattern="*.nav" selected="true"/>
+	  <filter pattern="*.snm" selected="true"/>
+	  <filter pattern="*.tex" selected="true"/>
+	  <filter pattern="*.out" selected="true"/>
+	  <filter pattern="*.toc" selected="true"/>
+	  <filter pattern="*.acros" selected="true"/>
+	  <filter pattern="*.dot" selected="true"/>
+	  <filter pattern="*.png" selected="true"/>
 	  <filter pattern="*.o" selected="true"/>
-	  <filter pattern="*.types" selected="true"/>
-	  <filter pattern="*.depx.*" selected="true"/>
-	  <filter pattern="gen*" selected="true"/>
+	  <filter pattern="*.a" selected="true"/>
     </extension>
 
     <extension id="notwantedelementfilters"
 	    point="org.eclipse.jdt.ui.javaElementFilters">
-	  <filter pattern="*.domains" selected="true"/>
-	  <filter pattern="*.imports" selected="true"/>
-	  <filter pattern="*.simports" selected="true"/>
+	  <filter pattern="gen*" selected="true"/>
+	  <filter pattern="dep*.*" selected="true"/>
+	  <filter pattern="*.dep*.*" selected="true"/>
 	  <filter pattern="*.module" selected="true"/>
+	  <filter pattern="*.*domains" selected="true"/>
+	  <filter pattern="*.*imports" selected="true"/>
+	  <filter pattern="*.0.*" selected="true"/>
+	  <filter pattern="*.1.*" selected="true"/>
+	  <filter pattern="*.2.*" selected="true"/>
+	  <filter pattern="*.3.*" selected="true"/>
+	  <filter pattern="*.log" selected="true"/>
+	  <filter pattern="*.nav" selected="true"/>
+	  <filter pattern="*.snm" selected="true"/>
+	  <filter pattern="*.tex" selected="true"/>
+	  <filter pattern="*.out" selected="true"/>
+	  <filter pattern="*.toc" selected="true"/>
+	  <filter pattern="*.acros" selected="true"/>
+	  <filter pattern="*.dot" selected="true"/>
+	  <filter pattern="*.png" selected="true"/>
 	  <filter pattern="*.o" selected="true"/>
-	  <filter pattern="*.types" selected="true"/>
-	  <filter pattern="*.depx.*" selected="true"/>
-	  <filter pattern="*.deps.*" selected="true"/>
-   </extension>
+	  <filter pattern="*.a" selected="true"/>
+	</extension>
 	<!-- $elseif verion < 3.0 $
 	<extension point="org.eclipse.ui.resourceFilters">
 	  <filter pattern="*.class" selected=""true""/>
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.