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