package org.erlide.branding; import org.eclipse.core.runtime.IProduct; import org.eclipse.core.runtime.Platform; import org.eclipse.jface.resource.StringConverter; import org.eclipse.swt.events.PaintEvent; import org.eclipse.swt.events.PaintListener; import org.eclipse.swt.graphics.Point; import org.eclipse.swt.graphics.RGB; import org.eclipse.swt.graphics.Rectangle; import org.eclipse.swt.widgets.Shell; import org.eclipse.ui.branding.IProductConstants; import org.eclipse.ui.splash.BasicSplashHandler; import org.erlide.core.ErlangPlugin; public class SplashHandler extends BasicSplashHandler { @Override public void init(final Shell splash) { super.init(splash); String progressRectString = null; String messageRectString = null; String foregroundColorString = null; final IProduct product = Platform.getProduct(); if (product != null) { progressRectString = product .getProperty(IProductConstants.STARTUP_PROGRESS_RECT); messageRectString = product .getProperty(IProductConstants.STARTUP_MESSAGE_RECT); foregroundColorString = product .getProperty(IProductConstants.STARTUP_FOREGROUND_COLOR); } final Rectangle progressRect = StringConverter.asRectangle(progressRectString, new Rectangle(10, 10, 300, 15)); setProgressRect(progressRect); final Rectangle messageRect = StringConverter.asRectangle(messageRectString, new Rectangle(10, 35, 300, 15)); setMessageRect(messageRect); int foregroundColorInteger; try { foregroundColorInteger = Integer.parseInt(foregroundColorString, 16); } catch (final Exception ex) { foregroundColorInteger = 0xD2D7FF; // off white } setForeground(new RGB((foregroundColorInteger & 0xFF0000) >> 16, (foregroundColorInteger & 0xFF00) >> 8, foregroundColorInteger & 0xFF)); final String buildId = ErlangPlugin.getDefault().getCore().getFeatureVersion(); final Point buildIdPoint; // hardcoded to be sensible with our current splash Graphic if (product != null) { final String buildIdLocString = product.getProperty("buildIdLocation"); //$NON-NLS-1$ buildIdPoint = StringConverter.asPoint(buildIdLocString, new Point(30, splash.getSize().y - 60)); } else { buildIdPoint = new Point(30, splash.getSize().y - 60); } getContent().addPaintListener(new PaintListener() { @Override public void paintControl(final PaintEvent e) { e.gc.setForeground(getForeground()); e.gc.drawText(buildId, buildIdPoint.x, buildIdPoint.y, true); } }); } }