Commits

af08018  committed ab4002a

filtered

  • Participants
  • Parent commits 03034d7

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""/>