OLD | NEW |
1 <?xml version="1.0" encoding="UTF-8"?> | 1 <?xml version="1.0" encoding="UTF-8"?> |
2 <?eclipse version="3.4"?> | 2 <?eclipse version="3.4"?> |
3 <plugin> | 3 <plugin> |
4 | 4 |
5 <extension | 5 <extension |
6 id="application" | 6 id="application" |
7 point="org.eclipse.core.runtime.applications"> | 7 point="org.eclipse.core.runtime.applications"> |
8 <application> | 8 <application> |
9 <run | 9 <run |
10 class="com.google.dart.tools.deploy.DartIDEApplication"> | 10 class="com.google.dart.tools.deploy.DartIDEApplication"> |
(...skipping 186 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
197 <property | 197 <property |
198 name="aboutImage" | 198 name="aboutImage" |
199 value="icons/dart_116_116.gif"> | 199 value="icons/dart_116_116.gif"> |
200 </property> | 200 </property> |
201 <property | 201 <property |
202 name="appName" | 202 name="appName" |
203 value="Dart Editor"> | 203 value="Dart Editor"> |
204 </property> | 204 </property> |
205 <property | 205 <property |
206 name="startupProgressRect" | 206 name="startupProgressRect" |
207 value="40,350,368,15"> | 207 value="100,350,400,15"> |
208 </property> | 208 </property> |
209 <property | 209 <property |
210 name="preferenceCustomization" | 210 name="preferenceCustomization" |
211 value="plugin_customization.ini"> | 211 value="plugin_customization.ini"> |
212 </property> | 212 </property> |
213 <property | 213 <property |
214 name="startupForegroundColor" | 214 name="startupForegroundColor" |
215 value="B3B3B3"> | 215 value="B3B3B3"> |
216 </property> | 216 </property> |
217 <property | 217 <property |
218 name="startupMessageRect" | 218 name="startupMessageRect" |
219 value="40,330,368,15"> | 219 value="100,330,400,15"> |
220 </property> | 220 </property> |
221 </product> | 221 </product> |
222 </extension> | 222 </extension> |
223 | 223 |
224 <extension | 224 <extension |
225 point="org.eclipse.ui.activities"> | 225 point="org.eclipse.ui.activities"> |
226 <activity | 226 <activity |
227 description="Dart Development Activities" | 227 description="Dart Development Activities" |
228 id="com.google.dart.development" | 228 id="com.google.dart.development" |
229 name="Dart Development"> | 229 name="Dart Development"> |
(...skipping 554 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
784 <hyperlinkDetector | 784 <hyperlinkDetector |
785 class="com.google.dart.tools.wst.ui.hyperlink.DartHyperlinkDetector" | 785 class="com.google.dart.tools.wst.ui.hyperlink.DartHyperlinkDetector" |
786 id="com.google.dart.tools.wst.ui.hyperlink.DartHyperlinkDetector" | 786 id="com.google.dart.tools.wst.ui.hyperlink.DartHyperlinkDetector" |
787 name="%hyperlinkDetector.identifier.name" | 787 name="%hyperlinkDetector.identifier.name" |
788 targetId="org.eclipse.wst.html.SCRIPT.type.APPLICATION/DART"> | 788 targetId="org.eclipse.wst.html.SCRIPT.type.APPLICATION/DART"> |
789 </hyperlinkDetector> | 789 </hyperlinkDetector> |
790 | 790 |
791 </extension> | 791 </extension> |
792 | 792 |
793 </plugin> | 793 </plugin> |
OLD | NEW |