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