LIME-Eclipse / plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
     <extension
         point="org.eclipse.ui.editors">
      <editor
            default="true"
            name="%LIME_graphical_editor_name"
            extensions="%LIME_extension"
            icon="LIME.gif"
            class="nl.tudelft.lime.LimeEditor"
            contributorClass="nl.tudelft.lime.actions.LimeActionBarContributor"
            id="Lime Graphical Editor">
      </editor>
   </extension>
   
   <!-- New Diagram Wizard -->
   <extension
         point="org.eclipse.ui.newWizards">
      <category
            name="%LIME_wizard_category_name"
            parentCategory="org.eclipse.ui.Examples"
            id="nl.tudelft.lime">
      </category>
      <wizard
            name="%LIME_wizard_name"
            icon="LIME.gif"
            category="org.eclipse.ui.Examples/nl.tudelft.lime"
            class="nl.tudelft.lime.LimeCreationWizard"
            id="nl.tudelft.lime.wizard.new.file">
         <description>
            %LIME_wizard_description
         </description>
         <selection
               class="org.eclipse.core.resources.IResource">
         </selection>
      </wizard>
   </extension>
   
   <!-- if you right click on a file in your project, a print action is added for the file-->
   <extension
         point="org.eclipse.ui.popupMenus">
      <objectContribution
            objectClass="org.eclipse.core.resources.IFile"
            nameFilter="%LIME_name_filter"
            id="nl.tudelft.lime">
         <action
               label="Print"
               class="nl.tudelft.lime.actions.LimePrintAction"
               menubarPath="additions"
               enablesFor="1"
               id="nl.tudelft.lime.print">
         </action>
      </objectContribution>
   </extension>
   <!-- $if version >= 3.0 $ -->
   <extension point="org.eclipse.ui.ide.resourceFilters">
	  <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="gen*" 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="*.module" selected="true"/>
	  <filter pattern="*.o" selected="true"/>
	  <filter pattern="*.types" selected="true"/>
	  <filter pattern="*.depx.*" selected="true"/>
	  <filter pattern="*.deps.*" selected="true"/>
   </extension>
	<!-- $elseif verion < 3.0 $
	<extension point="org.eclipse.ui.resourceFilters">
	  <filter pattern="*.class" selected=""true""/>
	</extension>
	$endif $ -->
   
</plugin>
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.