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