diff --git a/de.prob.ui/icons/new_prob_mini.png b/de.prob.eventb.disprover.ui/icons/prob.png similarity index 100% rename from de.prob.ui/icons/new_prob_mini.png rename to de.prob.eventb.disprover.ui/icons/prob.png diff --git a/de.prob.eventb.disprover.ui/icons/prob_mini_logo.gif b/de.prob.eventb.disprover.ui/icons/prob_mini_logo.gif deleted file mode 100644 index c6867d469651f80e12a2021e619563e3f2a39b64..0000000000000000000000000000000000000000 Binary files a/de.prob.eventb.disprover.ui/icons/prob_mini_logo.gif and /dev/null differ diff --git a/de.prob.eventb.disprover.ui/plugin.xml b/de.prob.eventb.disprover.ui/plugin.xml index 8b0ec03affbb9f82d4f4ba94ace0f6c264559fb6..87efaea1ff155f3f85d9d0c0f96beab75af8cdbc 100644 --- a/de.prob.eventb.disprover.ui/plugin.xml +++ b/de.prob.eventb.disprover.ui/plugin.xml @@ -93,7 +93,7 @@ locationURI="popup:more_commands"> <command commandId="de.prob.eventb.disprover.ui.exportpos" - icon="icons/prob_mini_logo.gif" + icon="icons/prob.png" label="Export POs for ProB (probcli)" style="push"> </command> diff --git a/de.prob.ui/icons/prob_mini_logo.gif b/de.prob.ui/icons/prob_mini_logo.gif deleted file mode 100644 index c6867d469651f80e12a2021e619563e3f2a39b64..0000000000000000000000000000000000000000 Binary files a/de.prob.ui/icons/prob_mini_logo.gif and /dev/null differ diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index db1089d0c3eb6053f5d099079f0422e1da19bbe2..6a73d35678834cafd405e496d88e91d7d03b9494 100644 --- a/de.prob.ui/plugin.xml +++ b/de.prob.ui/plugin.xml @@ -28,7 +28,7 @@ visible="true"> <action class="de.prob.ui.eventb.ShowProBConfigurations" - icon="icons/new_prob_mini.png" + icon="icons/prob.png" id="showProBConfigurations" label="Show ProB Configurations" style="pulldown" @@ -965,18 +965,18 @@ </command> <menu commandId="de.prob.ui.navigator.context" - icon="icons/new_prob_mini.png" + icon="icons/prob.png" id="more_commands" label="ProB Standalone ..."> <command commandId="de.prob.ui.newcore.export" - icon="icons/prob_mini_logo.gif" + icon="icons/prob.png" label="Export for use in ProB Standalone" style="push"> </command> <command commandId="de.prob.ui.classic.open" - icon="icons/prob_mini_logo.gif" + icon="icons/prob.png" label="Open in ProB Standalone" style="push"> </command> diff --git a/de.prob.ui/src/de/prob/ui/eventb/AnimationPreferencesDialog.java b/de.prob.ui/src/de/prob/ui/eventb/AnimationPreferencesDialog.java index 0466131ae4d10556bc386f3fd73127074b2f8ed3..e494ef161870165479aa4097cb8016f94fbcb3be 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/AnimationPreferencesDialog.java +++ b/de.prob.ui/src/de/prob/ui/eventb/AnimationPreferencesDialog.java @@ -504,7 +504,7 @@ public class AnimationPreferencesDialog extends PreferenceDialog { @Override public Image getImage(final Object element) { return AbstractUIPlugin.imageDescriptorFromPlugin(pluginId, - "icons/new_prob_mini.png").createImage(); + "icons/prob.png").createImage(); } }