]> git.argeo.org Git - lgpl/argeo-commons.git/blobdiff - server/plugins/org.argeo.jcr.ui.explorer/plugin.xml
Merge fix https://www.argeo.org/bugzilla/show_bug.cgi?id=162
[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / plugin.xml
index 1df9981dcdb486dc90102c2a832aa287479986a9..31f33eb70c84dbf59038d94eb60a7c4cff14f1e5 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>
                <!-- Browser view specific menu --> 
                <menuContribution
                        locationURI="menu:org.argeo.jcr.ui.explorer.browserView">
-            <command
+            <!-- See bug 149 --> 
+            <!-- <command
                commandId="org.argeo.jcr.ui.explorer.openGenericJcrQueryEditor"
                 icon="icons/query.png"
                 style="push">
-            </command>
+            </command> --> 
             <command
                commandId="org.argeo.jcr.ui.explorer.addRemoteRepository"
                 icon="icons/addRepo.gif"
              <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>