Révision 876
| tmp/org.txm.rcp/plugin.xml (revision 876) | ||
|---|---|---|
| 35 | 35 |
value="TXM"> |
| 36 | 36 |
</property> |
| 37 | 37 |
<property |
| 38 |
name="preferenceCustomization" |
|
| 39 |
value="plugin_customization.ini"> |
|
| 40 |
</property> |
|
| 41 |
<property |
|
| 42 | 38 |
name="windowImages" |
| 43 | 39 |
value="icons/logo/TXM logo 16x16.png,icons/logo/TXM logo.png,icons/logo/TXM logo 48x48.png,icons/logo/TXM logo 64x64.png,icons/logo/TXM logo 128x128.png,icons/logo/TXM logo 256x256.png"> |
| 44 | 40 |
</property> |
| ... | ... | |
| 66 | 62 |
name="cssTheme" |
| 67 | 63 |
value="org.txm.rcp.theme.default.linux"> |
| 68 | 64 |
</property> |
| 65 |
<property |
|
| 66 |
name="preferenceCustomization" |
|
| 67 |
value="plugin_customization.ini"> |
|
| 68 |
</property> |
|
| 69 | 69 |
</product> |
| 70 | 70 |
</extension> |
| 71 | 71 |
<extension |
Formats disponibles : Unified diff