Index: dart/editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml (revision 30108) |
+++ dart/editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml (working copy) |
@@ -204,7 +204,7 @@ |
</property> |
<property |
name="startupProgressRect" |
- value="40,350,368,15"> |
+ value="100,350,400,15"> |
</property> |
<property |
name="preferenceCustomization" |
@@ -216,7 +216,7 @@ |
</property> |
<property |
name="startupMessageRect" |
- value="40,330,368,15"> |
+ value="100,330,400,15"> |
</property> |
</product> |
</extension> |