Adjusting the Size of Splash Shell a/c to image

The splash is initialized by the Equinox native launcher while image is
set by SWT. SWT uses "correctly scaled images". This inconsistency leads
to image cut off during start up.

Author: ShahzaibIbrahim

bundles/org.eclipse.ui.workbench/eclipseui/org/eclipse/ui/internal/Workbench.java

@@ -820,8 +820,14 @@ public void run() throws Exception {
 
 					if (splashShell == null)
 						return;
-					if (background != null)
+					if (background != null) {
 						splashShell.setBackgroundImage(background);
+						Rectangle imageBounds = background.getBounds();
+						Rectangle shellBounds = splashShell.getBounds();
+						if (imageBounds.width > shellBounds.width || imageBounds.height > shellBounds.height) {
+							splashShell.setSize(imageBounds.width, imageBounds.height);
+						}
+					}
 				}
 
 				Dictionary<String, Object> properties = new Hashtable<>();