david_williams | 5ea8dd2 | 2009-05-26 06:24:41 +0000 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <?eclipse version="3.4"?> |
| 3 | <plugin> |
| 4 | <extension |
| 5 | id="ide" |
david_williams | 0a844e0 | 2009-05-27 00:14:04 +0000 | [diff] [blame] | 6 | name="Java EE Developer Tools IDE" |
david_williams | 5ea8dd2 | 2009-05-26 06:24:41 +0000 | [diff] [blame] | 7 | point="org.eclipse.core.runtime.products"> |
| 8 | <product |
| 9 | application="org.eclipse.ui.ide.workbench" |
david_williams | 0a844e0 | 2009-05-27 00:14:04 +0000 | [diff] [blame] | 10 | description="Eclipse Java EE Developer Tools IDE." |
| 11 | name="Java EE Developer Tools IDE"> |
david_williams | 5ea8dd2 | 2009-05-26 06:24:41 +0000 | [diff] [blame] | 12 | <property |
| 13 | name="preferenceCustomization" |
| 14 | value="plugin_customization.ini"> |
| 15 | </property> |
| 16 | <property |
| 17 | name="appName" |
david_williams | 0a844e0 | 2009-05-27 00:14:04 +0000 | [diff] [blame] | 18 | value="Eclipse"> |
david_williams | 5ea8dd2 | 2009-05-26 06:24:41 +0000 | [diff] [blame] | 19 | </property> |
| 20 | <property |
| 21 | name="aboutText" |
david_williams | 0a844e0 | 2009-05-27 00:14:04 +0000 | [diff] [blame] | 22 | value="Eclipse Java EE Developer Tools IDE"> |
david_williams | 5ea8dd2 | 2009-05-26 06:24:41 +0000 | [diff] [blame] | 23 | </property> |
| 24 | <property |
| 25 | name="startupProgressRect" |
| 26 | value="5,275,445,15"> |
| 27 | </property> |
| 28 | <property |
| 29 | name="aboutImage" |
| 30 | value="about_gears.gif"> |
| 31 | </property> |
| 32 | <property |
| 33 | name="windowImages" |
| 34 | value="WTP_icon_x16_v2.png,WTP_icon_x32_v2.png"> |
| 35 | </property> |
| 36 | <property |
| 37 | name="startupForegroundColor" |
| 38 | value="000000"> |
| 39 | </property> |
| 40 | <property |
| 41 | name="startupMessageRect" |
| 42 | value="7,252,445,20"> |
| 43 | </property> |
| 44 | </product> |
| 45 | </extension> |
| 46 | |
| 47 | </plugin> |