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

plugin.xml (revision 1417)
3045 3045
            properties="IsParentHidden"
3046 3046
            type="java.lang.Object">
3047 3047
      </propertyTester>
3048
      <propertyTester
3049
            class="org.txm.rcp.testers.CurrentEditorIsDirty"
3050
            id="org.txm.rcp.testers.CurrentEditorIsDirty"
3051
            namespace="org.txm.rcp.testers"
3052
            properties="CurrentEditorIsDirty"
3053
            type="java.lang.Object">
3054
      </propertyTester>
3055 3048
   </extension>
3056 3049
   <extension
3057 3050
         point="org.eclipse.ui.bindings">

Also available in: Unified diff