commit 6cf1db32fa68fec62438d437dcd60c3e5bb2f11b
author Michael Keppler <Michael.Keppler@gmx.de> Tue Jun 25 07:36:49 2019 +0200
committer Alexander Kurtakov <akurtako@redhat.com> Tue Jul 30 04:03:06 2019 -0400
tree 64258d06a44308287fb8717e4293e7e20b88756b
parent fb73f2aa35729a8277ed9b65ea1e83fb3c35f0b9

Bug 548544 - Enlarge height of progress area

With bigger font sizes the progress area of the splash screen can cut
off the label. Enlarge the height of the progress area by 5 pixels, such
that the progress message may "touch" the progress bar.

The positioning of text and progress bar does not change. See bug for
screenshot with changes.

Change-Id: Ica78230a4aeae4e7cd5cd1b695f37eff9f2e3115
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>

platform/org.eclipse.platform/plugin.xml

diff --git a/platform/org.eclipse.platform/plugin.xml b/platform/org.eclipse.platform/plugin.xml
index a3d6d0d..42dbe4d 100644
--- a/platform/org.eclipse.platform/plugin.xml
+++ b/platform/org.eclipse.platform/plugin.xml
@@ -46,7 +46,7 @@
 				value="ffffff"/>
           <property
                 name="startupMessageRect"
-                value="7,265,320,20"/>
+                value="7,265,320,25"/>
           <property
                 name="startupProgressRect"
                 value="2,290,450,10"/>

platform/org.eclipse.sdk/plugin.xml

diff --git a/platform/org.eclipse.sdk/plugin.xml b/platform/org.eclipse.sdk/plugin.xml
index 0c92dfd..ef0fb9a 100644
--- a/platform/org.eclipse.sdk/plugin.xml
+++ b/platform/org.eclipse.sdk/plugin.xml
@@ -45,7 +45,7 @@
 				value="ffffff"/>
           <property
                 name="startupMessageRect"
-                value="7,265,320,20"/>
+                value="7,265,320,25"/>
           <property
                 name="startupProgressRect"
                 value="2,290,450,10"/>