| 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 |