From e8604f9eae04d7d6abc1a2ce3e3c14a7ddb6ddda Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 13:08:42 +0100
Subject: [PATCH] Use current ProB icon everywhere
---
.../icons/prob.png | Bin
.../icons/prob_mini_logo.gif | Bin 1106 -> 0 bytes
de.prob.eventb.disprover.ui/plugin.xml | 2 +-
de.prob.ui/icons/prob_mini_logo.gif | Bin 1106 -> 0 bytes
de.prob.ui/plugin.xml | 8 ++++----
.../ui/eventb/AnimationPreferencesDialog.java | 2 +-
6 files changed, 6 insertions(+), 6 deletions(-)
rename de.prob.ui/icons/new_prob_mini.png => de.prob.eventb.disprover.ui/icons/prob.png (100%)
delete mode 100644 de.prob.eventb.disprover.ui/icons/prob_mini_logo.gif
delete mode 100644 de.prob.ui/icons/prob_mini_logo.gif
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
GIT binary patch
literal 0
HcmV?d00001
literal 1106
zcmZ?wbhEHbRAmri_|9PX9}d3%{|-gpzrP2e_wV1ofBybC6g_`_@A*9_x(5Q+?%lg~
z?-~eQyLJwQ&Yin<?%cU^$3W;91nfPw7mD`o-3mfmw{G3KcI#RwS_=Y8*REZ<b}0nR
zS-N!2(m8YH%$YK03KUHNfu1Qnd%uHF&y*ez>gj0#p_aYh!RUR<-uEqAA?SHaOHWHn
zOG`BfRd0P>y%vJ*fdr~sszIo_x)_9t*WN2$3PIP3mtHGgdaiiRIj~H1adB~RHV9?U
zIR{3^vgaJjo&rI8!7|0!*$|YSoeV<BQ}!nJK+x9Yo~_9}YeB-v$;nY56xFj9gj&`{
zfzZ;ZYA^!HBu7O>MFoLSQ1#NF>N!Eh5HtlW78Mi}6yya$Ud2<usK=|g$159xTD*e1
zK*-C>%L#;>vRgnXxy1>Ds-2=Bs2D8i<>ch#WC=o+QN>`CZ5aeX$q->nOG`^b5Hbu(
zHuQp^C_}F(h?t?JAqZ$18fqG9dPQkEMQJ((fsvP{lb5EY7gz=)sR;p!nwpB5ik4nr
z<fLc_L6#6<MNLHzkWf^VP?RvVl+c7ALkUeoh?s<;1PBO7NC-#>XljCxqNV@{DGEp^
zLWBhb1Ozxhh(kgVj3hWD1V9KZ#=*hC!2m)G0s>&f!5{z?V1NO|f1;l0dHF@DDGDKp
z>BUwGDh7t8M!Z}MIv^FGOv1qNpMjA>#$&^RgUuX_Djp{`Bpzhpmi6-C5OnC$kXZcT
zf<d7|e~*+a&zg#t^G{ATv|{>E_UVaaqso6)uZc-#_vdpeyJ(!4^vrcKck(BR6GjJT
zg)7CeZmKx*WaAX3NTHOS!5Tgb*601(J>^lnrhc5n-{w<BZ8z=z_Z*Cg_!P0!TPL3J
zM3tsfQ&#*$g^xk6?mJD>{cjn`z2M2o{Km30Uq*++_HJbdsy2T1R|%b~S*4ZoJ3r&#
z8YSh5t<JalB2NG3nAWptXF+=N0#>=hr#k{y#@_$;Z}V)2BYQTk^{!Hrxcz8<*6y-U
z=6yyV_J=!)yFJYMa7ML{DcHo8Pt;+7_XB-axkrK<7kM#QS<kXxUu65clhdSQhX4M3
Pe}DgYpWPuKz+epknIYb^
diff --git a/de.prob.eventb.disprover.ui/plugin.xml b/de.prob.eventb.disprover.ui/plugin.xml
index 8b0ec03a..87efaea1 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
GIT binary patch
literal 0
HcmV?d00001
literal 1106
zcmZ?wbhEHbRAmri_|9PX9}d3%{|-gpzrP2e_wV1ofBybC6g_`_@A*9_x(5Q+?%lg~
z?-~eQyLJwQ&Yin<?%cU^$3W;91nfPw7mD`o-3mfmw{G3KcI#RwS_=Y8*REZ<b}0nR
zS-N!2(m8YH%$YK03KUHNfu1Qnd%uHF&y*ez>gj0#p_aYh!RUR<-uEqAA?SHaOHWHn
zOG`BfRd0P>y%vJ*fdr~sszIo_x)_9t*WN2$3PIP3mtHGgdaiiRIj~H1adB~RHV9?U
zIR{3^vgaJjo&rI8!7|0!*$|YSoeV<BQ}!nJK+x9Yo~_9}YeB-v$;nY56xFj9gj&`{
zfzZ;ZYA^!HBu7O>MFoLSQ1#NF>N!Eh5HtlW78Mi}6yya$Ud2<usK=|g$159xTD*e1
zK*-C>%L#;>vRgnXxy1>Ds-2=Bs2D8i<>ch#WC=o+QN>`CZ5aeX$q->nOG`^b5Hbu(
zHuQp^C_}F(h?t?JAqZ$18fqG9dPQkEMQJ((fsvP{lb5EY7gz=)sR;p!nwpB5ik4nr
z<fLc_L6#6<MNLHzkWf^VP?RvVl+c7ALkUeoh?s<;1PBO7NC-#>XljCxqNV@{DGEp^
zLWBhb1Ozxhh(kgVj3hWD1V9KZ#=*hC!2m)G0s>&f!5{z?V1NO|f1;l0dHF@DDGDKp
z>BUwGDh7t8M!Z}MIv^FGOv1qNpMjA>#$&^RgUuX_Djp{`Bpzhpmi6-C5OnC$kXZcT
zf<d7|e~*+a&zg#t^G{ATv|{>E_UVaaqso6)uZc-#_vdpeyJ(!4^vrcKck(BR6GjJT
zg)7CeZmKx*WaAX3NTHOS!5Tgb*601(J>^lnrhc5n-{w<BZ8z=z_Z*Cg_!P0!TPL3J
zM3tsfQ&#*$g^xk6?mJD>{cjn`z2M2o{Km30Uq*++_HJbdsy2T1R|%b~S*4ZoJ3r&#
z8YSh5t<JalB2NG3nAWptXF+=N0#>=hr#k{y#@_$;Z}V)2BYQTk^{!Hrxcz8<*6y-U
z=6yyV_J=!)yFJYMa7ML{DcHo8Pt;+7_XB-axkrK<7kM#QS<kXxUu65clhdSQhX4M3
Pe}DgYpWPuKz+epknIYb^
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index db1089d0..6a73d356 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 0466131a..e494ef16 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();
}
}
--
GitLab