Revision 726 tmp/org.txm.rcp/plugin.xml

plugin.xml (revision 726)
2052 2052
                  commandId="org.eclipse.ui.window.preferences"
2053 2053
                  icon="icons/functions/prefs.png"
2054 2054
                  label="%command.label.4"
2055
                  style="push"
2056
                  tooltip="%command.tooltip.0">
2055
                  style="push">
2057 2056
            </command>
2058 2057

  
2059 2058
      </menuContribution>

Also available in: Unified diff