| Index: dart/editor/tools/plugins/com.google.dart.tools.deploy/dart_feature.product
|
| ===================================================================
|
| --- dart/editor/tools/plugins/com.google.dart.tools.deploy/dart_feature.product (revision 30108)
|
| +++ dart/editor/tools/plugins/com.google.dart.tools.deploy/dart_feature.product (working copy)
|
| @@ -25,8 +25,8 @@
|
|
|
| <splash
|
| location="com.google.dart.tools.deploy"
|
| - startupProgressRect="40,350,368,15"
|
| - startupMessageRect="40,330,368,15"
|
| + startupProgressRect="100,350,400,15"
|
| + startupMessageRect="100,330,400,15"
|
| startupForegroundColor="B3B3B3" />
|
| <launcher name="DartEditor">
|
| <linux icon="/com.google.dart.tools.deploy/icons/dart_48_48.xpm"/>
|
| @@ -38,11 +38,13 @@
|
| </win>
|
| </launcher>
|
|
|
| +
|
| <vm>
|
| <linux include="false">org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6</linux>
|
| <windows include="false">org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6</windows>
|
| </vm>
|
|
|
| +
|
| <plugins>
|
| </plugins>
|
|
|
|
|