Révision 3382 TXM/trunk/org.txm.rcp/plugin.xml
| plugin.xml (revision 3382) | ||
|---|---|---|
| 30 | 30 |
<product |
| 31 | 31 |
application="org.txm.rcp.Application" |
| 32 | 32 |
description="%product.description" |
| 33 |
name="TXM"> |
|
| 33 |
name="TXM 0.8.2">
|
|
| 34 | 34 |
<property |
| 35 | 35 |
name="appName" |
| 36 |
value="TXM"> |
|
| 36 |
value="TXM 0.8.2">
|
|
| 37 | 37 |
</property> |
| 38 | 38 |
<property |
| 39 | 39 |
name="windowImages" |
| ... | ... | |
| 3136 | 3136 |
</iterate> |
| 3137 | 3137 |
</with> |
| 3138 | 3138 |
</definition> |
| 3139 |
<definition |
|
| 3140 |
id="SelectionIsNotEmpty"> |
|
| 3141 |
<with |
|
| 3142 |
variable="selection"> |
|
| 3143 |
<iterate |
|
| 3144 |
ifEmpty="false" |
|
| 3145 |
operator="and"> |
|
| 3146 |
<instanceof |
|
| 3147 |
value="java.lang.Object"> |
|
| 3148 |
</instanceof> |
|
| 3149 |
</iterate> |
|
| 3150 |
</with> |
|
| 3151 |
</definition> |
|
| 3139 | 3152 |
</extension> |
| 3140 | 3153 |
|
| 3141 | 3154 |
<extension |
| ... | ... | |
| 3349 | 3362 |
name="Paths"> |
| 3350 | 3363 |
</page> |
| 3351 | 3364 |
</extension> |
| 3365 |
<extension |
|
| 3366 |
point="org.eclipse.ui.services"> |
|
| 3367 |
<sourceProvider |
|
| 3368 |
provider="org.txm.rcp.CorporaSourceProvider"> |
|
| 3369 |
<variable |
|
| 3370 |
name="corporaSelection" |
|
| 3371 |
priorityLevel="workbench"> |
|
| 3372 |
</variable> |
|
| 3373 |
</sourceProvider> |
|
| 3374 |
</extension> |
|
| 3352 | 3375 |
|
| 3353 | 3376 |
</plugin> |
Formats disponibles : Unified diff