Ignore:
Timestamp:
05/14/14 14:22:53 (10 years ago)
Author:
hkaulbersch
Message:

Minimized Outline:
-<unnamed> Removed
-Rule is the lowest shown entity

File:
1 edited

Legend:

Unmodified
Added
Removed
  • v2/trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/plugin.xml

    r61 r67  
    248248        </extension> 
    249249 
     250<!----> 
    250251   <extension 
    251252         point="org.eclipse.xtext.builder.participant"> 
     
    254255      </participant> 
    255256   </extension> 
     257    
     258    
     259   <!--this is for using a button for generation 
     260   <extension 
     261        point="org.eclipse.ui.handlers"> 
     262     <handler 
     263           class="de.ugoe.cs.swe.bnftools.ui.EbnfExecutableExtensionFactory:de.ugoe.cs.swe.bnftools.ui.helper.GenerationHandler" 
     264           commandId="de.ugoe.cs.swe.bnftools.ui.handler.GenerationCommand"> 
     265     </handler> 
     266       
     267  </extension> 
     268    
     269  <extension 
     270        point="org.eclipse.ui.commands"> 
     271        <command name="Generate Code" 
     272              id="de.ugoe.cs.swe.bnftools.ui.handler.GenerationCommand"> 
     273        </command> 
     274  </extension> 
     275    
     276  <extension point="org.eclipse.ui.menus"> 
     277    <menuContribution locationURI="popup:org.eclipse.jdt.ui.PackageExplorer"> 
     278        <command 
     279            commandId="de.ugoe.cs.swe.bnftools.ui.handler.GenerationCommand" 
     280            style="push"> 
     281            <visibleWhen 
     282                  checkEnabled="false"> 
     283                  <iterate> 
     284       <adapt type="org.eclipse.core.resources.IResource"> 
     285          <test property="org.eclipse.core.resources.name" 
     286                value="*.bnf"/> 
     287       </adapt> 
     288    </iterate> 
     289            </visibleWhen> 
     290        </command> 
     291    </menuContribution> 
     292    </extension> 
     293 --> 
     294    
     295    
    256296   <extension 
    257297            point="org.eclipse.ui.preferencePages"> 
Note: See TracChangeset for help on using the changeset viewer.