Add higher-res and consistent ProB logo for feature branding

2f0d174f · dgelessus · 3ba16057 · 2f0d174f · 3ba16057 · 2f0d174f
Commit 2f0d174f authored 1 year ago by dgelessus
--- a/de.prob.eventb.disprover.ui/about.ini
+++ b/de.prob.eventb.disprover.ui/about.ini
 aboutText=ProB Disprover (c) 2009-2024 https://prob.hhu.de/w/
-featureImage=icons/feature.png
+featureImage=icons/prob32.png
--- a/de.prob.eventb.disprover.ui/icons/feature.png
+++ b/de.prob.eventb.disprover.ui/icons/feature.png
--- a/de.prob.eventb.disprover.ui/icons/prob32.png
+++ b/de.prob.eventb.disprover.ui/icons/prob32.png
--- a/de.prob.symbolic/about.ini
+++ b/de.prob.symbolic/about.ini
 aboutText=ProB Symbolic Evaluation Support (c) 2013-2024 https://prob.hhu.de/w/
+featureImage=icons/prob32.png
--- a/de.prob.symbolic/build.properties
+++ b/de.prob.symbolic/build.properties
@@ -2,5 +2,6 @@ source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
               .,\
+               icons/,\
               about.ini,\
               plugin.xml
--- a/de.prob.symbolic/icons/prob32.png
+++ b/de.prob.symbolic/icons/prob32.png
--- a/de.prob.ui/about.ini
+++ b/de.prob.ui/about.ini
 aboutText=ProB Animator (c) 2005-2024 https://prob.hhu.de/w/
-featureImage=icons/prob.png
+featureImage=icons/prob32.png
--- a/de.prob.ui/icons/prob32.png
+++ b/de.prob.ui/icons/prob32.png