1. mazaninfardi
  2. LIME-Eclipse

Commits

af08018  committed 03034d7

(no commit message)

  • Participants
  • Parent commits 79104a8
  • Branches default

Comments (0)

Files changed (1)

File plugin.xml

View file
    </extension>
    <!-- $if version >= 3.0 $ -->
    <extension point="org.eclipse.ui.ide.resourceFilters">
-	  <filter pattern="*.diversity" selected="true"/>
 	  <filter pattern="*.domains" selected="true"/>
 	  <filter pattern="*.imports" selected="true"/>
 	  <filter pattern="*.module" selected="true"/>
 	  <filter pattern="*.o" selected="true"/>
 	  <filter pattern="*.types" selected="true"/>
 	  <filter pattern="*.depx.*" selected="true"/>
-	  <filter pattern="*.dot" selected="true"/>
-	  <filter pattern="*.graph.xml" selected="true"/>
-	  <filter pattern="Map" selected="true"/>
-	  <filter pattern="diversity" selected="true"/>
 	  <filter pattern="gen*" selected="true"/>
     </extension>
 
     <extension id="notwantedelementfilters"
 	    point="org.eclipse.jdt.ui.javaElementFilters">
-	  <filter pattern="*.diversity" selected="true"/>
 	  <filter pattern="*.domains" selected="true"/>
 	  <filter pattern="*.imports" selected="true"/>
 	  <filter pattern="*.simports" selected="true"/>