equal
deleted
inserted
replaced
190 <extension |
190 <extension |
191 id="product" |
191 id="product" |
192 point="org.eclipse.core.runtime.products"> |
192 point="org.eclipse.core.runtime.products"> |
193 <product |
193 <product |
194 application="org.eclipse.ui.ide.workbench" |
194 application="org.eclipse.ui.ide.workbench" |
195 name="Tools for Mobile Web"> |
195 name="WebRuntime Toolkit IDE"> |
196 <property |
196 <property |
197 name="windowImages" |
197 name="windowImages" |
198 value="icons/ico/WRT_main-icon_16px.png,icons/ico/WRT_main-icon_32px.png,icons/ico/WRT_main-icon_48px.png,icons/ico/WRT_main-icon_64px.png,icons/ico/WRT_main-icon_128px.png"> |
198 value="icons/ico/WRT_main-icon_16px.png,icons/ico/WRT_main-icon_32px.png,icons/ico/WRT_main-icon_48px.png,icons/ico/WRT_main-icon_64px.png,icons/ico/WRT_main-icon_128px.png"> |
199 </property> |
199 </property> |
200 <property |
200 <property |
217 name="startupMessageRect" |
217 name="startupMessageRect" |
218 value="7,220,400,20"> |
218 value="7,220,400,20"> |
219 </property> |
219 </property> |
220 <property |
220 <property |
221 name="appName" |
221 name="appName" |
222 value="Tools for Mobile Web"> |
222 value="WebRuntime Toolkit IDE"> |
223 </property> |
223 </property> |
224 <property |
224 <property |
225 name="preferenceCustomization" |
225 name="preferenceCustomization" |
226 value="plugin_customization.ini"> |
226 value="plugin_customization.ini"> |
227 </property> |
227 </property> |