Revision 1413 tmp/org.txm.rcp/plugin.xml
| plugin.xml (revision 1413) | ||
|---|---|---|
| 2963 | 2963 |
</test> |
| 2964 | 2964 |
</adapt> |
| 2965 | 2965 |
</definition> |
| 2966 |
<definition |
|
| 2967 |
id="TXMEditorActive"> |
|
| 2968 |
<with |
|
| 2969 |
variable="activePart"> |
|
| 2970 |
<instanceof |
|
| 2971 |
value="org.txm.rcp.editors.TXMEditor"> |
|
| 2972 |
</instanceof> |
|
| 2973 |
</with> |
|
| 2974 |
</definition> |
|
| 2966 | 2975 |
</extension> |
| 2967 | 2976 |
|
| 2968 | 2977 |
<extension |
| ... | ... | |
| 3035 | 3044 |
properties="IsParentHidden" |
| 3036 | 3045 |
type="java.lang.Object"> |
| 3037 | 3046 |
</propertyTester> |
| 3047 |
<propertyTester |
|
| 3048 |
class="org.txm.rcp.testers.CurrentEditorIsDirty" |
|
| 3049 |
id="org.txm.rcp.testers.CurrentEditorIsDirty" |
|
| 3050 |
namespace="org.txm.rcp.testers" |
|
| 3051 |
properties="CurrentEditorIsDirty" |
|
| 3052 |
type="java.lang.Object"> |
|
| 3053 |
</propertyTester> |
|
| 3038 | 3054 |
</extension> |
| 3039 | 3055 |
<extension |
| 3040 | 3056 |
point="org.eclipse.ui.bindings"> |
| ... | ... | |
| 3167 | 3183 |
natureId="org.txm.core.CorpusNature"> |
| 3168 | 3184 |
</image> |
| 3169 | 3185 |
</extension> |
| 3186 |
<extension |
|
| 3187 |
point="org.eclipse.ui.handlers"> |
|
| 3188 |
<handler |
|
| 3189 |
class="org.txm.rcp.handlers.results.ComputeTXMResult" |
|
| 3190 |
commandId="org.txm.rcp.handlers.ComputeTXMResult"> |
|
| 3191 |
<enabledWhen> |
|
| 3192 |
<test |
|
| 3193 |
property="org.txm.rcp.testers.CurrentEditorIsDirty" |
|
| 3194 |
value="false"> |
|
| 3195 |
</test> |
|
| 3196 |
</enabledWhen> |
|
| 3197 |
<activeWhen> |
|
| 3198 |
<reference |
|
| 3199 |
definitionId="TXMEditorActive"> |
|
| 3200 |
</reference> |
|
| 3201 |
</activeWhen> |
|
| 3202 |
</handler> |
|
| 3203 |
</extension> |
|
| 3170 | 3204 |
</plugin> |
Also available in: Unified diff