Skip to content
Snippets Groups Projects
Commit a6862051 authored by dgelessus's avatar dgelessus
Browse files

Remove unused splash screen stuff

parent 37392d76
No related branches found
No related tags found
No related merge requests found
......@@ -10,17 +10,6 @@
name="ProB">
</perspective>
</extension>
<!-- <extension
point="org.eclipse.ui.splashHandlers">
<splashHandler
class="de.prob.plugin.Splash"
id="de.prob.plugin.splash">
</splashHandler>
<splashHandlerProductBinding
productId="org.rodinp.platform.product"
splashId="de.prob.plugin.splash">
</splashHandlerProductBinding>
</extension> -->
<extension
point="org.eclipse.ui.menus">
......
package de.prob.plugin;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.splash.AbstractSplashHandler;
import de.prob.ui.ProbUiPlugin;
public class Splash extends AbstractSplashHandler {
@Override
public void init(final Shell splash) {
super.init(splash);
final Image overlay = ProbUiPlugin.getDefault().getImageRegistry().get(
ProbUiPlugin.OVERLAY);
// FillLayout layout = new FillLayout();
//
// getSplash().setLayout(layout);
// Force shell to inherit the splash background
getSplash().setBackgroundMode(SWT.INHERIT_DEFAULT);
Label transparentIdeaLabel = new Label(getSplash(), SWT.NONE);
transparentIdeaLabel.setImage(overlay);
transparentIdeaLabel.setBounds(10, 220, 90, 35);
splash.layout(true);
}
}
de.prob.ui/icons/splash_overlay_x.png

38 KiB

......@@ -27,7 +27,6 @@ public class ProbUiPlugin extends AbstractUIPlugin {
public static final String IMG_TIMEOUT = "IMG_TIMEOUT";
public static final String IMG_ENABLED = "IMG_ENABLED";
public static final String IMG_DOUBLECLICK = "IMG_DOUBLECLICK";
public static final String OVERLAY = "OVERLAY";
public static final String CHANGE_STAR = "change_star";
public static final String IMG_RELOAD = "IMG_RELOAD";
......@@ -84,9 +83,6 @@ public class ProbUiPlugin extends AbstractUIPlugin {
imageDescriptorFromPlugin(PLUGIN_ID, "icons/enabled.png"));
reg.put(IMG_DOUBLECLICK,
imageDescriptorFromPlugin(PLUGIN_ID, "icons/doubleclick.png"));
reg.put(OVERLAY,
imageDescriptorFromPlugin(PLUGIN_ID,
"icons/splash_overlay_x.png"));
reg.put(CHANGE_STAR,
imageDescriptorFromPlugin(PLUGIN_ID, "icons/star.png"));
reg.put(IMG_RELOAD,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment