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

plugin.xml (revision 845)
255 255
            id="org.txm.rcp.editors.TXMWebBrowserEditor"
256 256
            name="%editor.name.22">
257 257
      </editor>
258
      <editor
259
            class="org.txm.rcp.editors.TXMEditor"
260
            default="false"
261
            id="org.txm.rcp.editors.TXMEditor"
262
            name="TXMEditor">
263
      </editor>
258 264
   </extension>
259 265
   <extension
260 266
         point="org.eclipse.core.runtime.preferences">
......
2962 2968
                  </iterate>
2963 2969
               </with>
2964 2970
            </definition>
2971
            <definition
2972
                  id="OneOrMoreElementSelected">
2973
               <with
2974
                     variable="activeMenuSelection">
2975
                  <count
2976
                        value="+">
2977
                  </count>
2978
               </with>
2979
            </definition>
2965 2980
   </extension>
2966 2981
  
2967 2982
   <extension

Also available in: Unified diff