diff --git a/de.prob.plugin/fragment.xml b/de.prob.plugin/fragment.xml index 9b58895d54d1fe0a9e7e6b205020e7b7df57dd87..5a34b3033081a43252e1675ae80c7f0e0900d9f8 100644 --- a/de.prob.plugin/fragment.xml +++ b/de.prob.plugin/fragment.xml @@ -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"> diff --git a/de.prob.plugin/src/de/prob/plugin/Splash.java b/de.prob.plugin/src/de/prob/plugin/Splash.java deleted file mode 100644 index 623339aa3a8329414fda46e755ca40191b71cdff..0000000000000000000000000000000000000000 --- a/de.prob.plugin/src/de/prob/plugin/Splash.java +++ /dev/null @@ -1,35 +0,0 @@ -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); - - } -} diff --git a/de.prob.ui/icons/splash_overlay_x.png b/de.prob.ui/icons/splash_overlay_x.png deleted file mode 100644 index e5c9d55b3a4a502bbf9fe781dc4f3a1298f694a0..0000000000000000000000000000000000000000 Binary files a/de.prob.ui/icons/splash_overlay_x.png and /dev/null differ diff --git a/de.prob.ui/src/de/prob/ui/ProbUiPlugin.java b/de.prob.ui/src/de/prob/ui/ProbUiPlugin.java index 05e469e957678b8cb35713a793a913cb01961103..adbc68fa214a1f57c4a521b34c5b10ee4e0af26a 100644 --- a/de.prob.ui/src/de/prob/ui/ProbUiPlugin.java +++ b/de.prob.ui/src/de/prob/ui/ProbUiPlugin.java @@ -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,