<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<!--
    Copyright (c) 2016 Chalmers | University of Gothenburg, rt-labs and others.
    All rights reserved. This program and the accompanying materials
    are made available under the terms of the Eclipse Public License v1.0
    which accompanies this distribution, and is available at
    http://www.eclipse.org/legal/epl-v10.html
     
      Contributors:
         Chalmers | University of Gothenburg and rt-labs - initial API and implementation and/or initial documentation
 -->
<plugin>

   <extension
         point="org.eclipse.ui.views">
      <category
            id="org.eclipse.capra.ui.views"
			name="%category.name">
      </category>
      <view
            category="org.eclipse.capra.generic.views"
            class="org.eclipse.capra.ui.zest.ZestView"
            icon="icons/capra.png"
            id="org.eclipse.capra.ui.zest.zestView"
            name="%view.name"
            restorable="true">
      </view>
   </extension>

   <extension
         point="org.eclipse.ui.commands">
      <command
            defaultHandler="org.eclipse.capra.ui.zest.ToggleTransitivityHandler"
            id="org.eclipse.capra.ui.zest.toggleTransitivity"
            name="%command.name">
         <state
               class="org.eclipse.jface.commands.ToggleState"
               id="org.eclipse.ui.commands.toggleState">
         </state>
      </command>
   </extension>

   <extension
         point="org.eclipse.ui.handlers">
      <handler
            class="org.eclipse.capra.ui.zest.ToggleTransitivityHandler"
            commandId="org.eclipse.capra.ui.zest.toggleTransitivity">
      </handler>
   </extension>

	<extension
         point="org.eclipse.ui.menus">
    <menuContribution
          locationURI="menu:org.eclipse.capra.ui.zest.zestView?after=additions">
       <command
             commandId="org.eclipse.capra.ui.zest.toggleTransitivity"
             label="%command.label"
             style="toggle">
       </command>
    </menuContribution>
   </extension>

</plugin>