Merge Order of nodes in JCR data explorer
[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / plugin.xml
index 1df9981dcdb486dc90102c2a832aa287479986a9..095aa01a8bee2002ec96b6f14251c817aabc3cfa 100644 (file)
             defaultHandler="org.argeo.jcr.ui.explorer.commands.SortChildNodes"
             id="org.argeo.jcr.ui.explorer.sortChildNodes"
             name="Sort node tree">
+            <!-- FIXME: default value does not work -->
             <state 
-                               id="org.argeo.jcr.ui.explorer.sortChildNodes.toggleState">
-                               <class class="org.eclipse.jface.commands.ToggleState"> 
+                               id="org.argeo.jcr.ui.explorer.sortChildNodes.toggleState" 
+                               class="org.eclipse.ui.handlers.RegistryToggleState:true" >
+                               <!-- <class class="org.eclipse.jface.commands.ToggleState"> 
                                        <parameter
                                                name="default"
                                        value="true" />
-                               </class>
+                               </class> -->
                        </state>
      </command>
     </extension>
              <command
                commandId="org.argeo.jcr.ui.explorer.sortChildNodes"
                 icon="icons/sort.gif"
-                style="toggle" 
+                style="toggle"
                 label="Sort child nodes"
                 tooltip="Warning: stopping to sort children nodes might enhance overall performances">
             </command>