diff --git a/createIcons.py b/createIcons.py new file mode 100644 index 000000000..94ac8b629 --- /dev/null +++ b/createIcons.py @@ -0,0 +1,22 @@ +import sys +from pathlib import Path +here=str(Path(sys.argv[0]).parent) +if here: sys.path.append(here) +else: sys.path.append('.') + +from pyminsky import minsky + +iconDir=here+'/gui-js/apps/minsky-web/src/assets/images/icons/' +minsky.histogramResource.setResource(iconDir+'histogram.svg') +# make the background transparent +minsky.canvas.backgroundColour({'a':0}) +ops=minsky.availableOperations() +ops.append("switch") +for op in ops: + # ignore some operations + if op in ["numOps","constant","copy","ravel","integrate"]: continue + + if op=="switch": minsky.canvas.addSwitch() + else: minsky.canvas.addOperation(op) + minsky.renderCanvasToPNG(iconDir+op+'.png') + minsky.clearAllMaps() diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.gif b/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.gif deleted file mode 100644 index 408cd3b23..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.png b/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.png new file mode 100644 index 000000000..445106625 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/Gamma.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/abs.gif b/gui-js/apps/minsky-web/src/assets/images/icons/abs.gif deleted file mode 100644 index 9560bdd09..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/abs.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/abs.png b/gui-js/apps/minsky-web/src/assets/images/icons/abs.png new file mode 100644 index 000000000..ce3861326 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/abs.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/acos.gif b/gui-js/apps/minsky-web/src/assets/images/icons/acos.gif deleted file mode 100644 index 636924d76..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/acos.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/acos.png b/gui-js/apps/minsky-web/src/assets/images/icons/acos.png new file mode 100644 index 000000000..901687f81 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/acos.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/add.gif b/gui-js/apps/minsky-web/src/assets/images/icons/add.gif deleted file mode 100644 index 8a2c89315..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/add.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/add.png b/gui-js/apps/minsky-web/src/assets/images/icons/add.png new file mode 100644 index 000000000..7577ca060 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/add.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/all.gif b/gui-js/apps/minsky-web/src/assets/images/icons/all.gif deleted file mode 100644 index cd6cbadca..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/all.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/all.png b/gui-js/apps/minsky-web/src/assets/images/icons/all.png new file mode 100644 index 000000000..1c290bc40 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/all.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/and_.gif b/gui-js/apps/minsky-web/src/assets/images/icons/and_.gif deleted file mode 100644 index 307674c64..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/and_.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/and_.png b/gui-js/apps/minsky-web/src/assets/images/icons/and_.png new file mode 100644 index 000000000..5a4b66830 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/and_.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/any.gif b/gui-js/apps/minsky-web/src/assets/images/icons/any.gif deleted file mode 100644 index ed3c38e7a..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/any.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/any.png b/gui-js/apps/minsky-web/src/assets/images/icons/any.png new file mode 100644 index 000000000..738839b07 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/any.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/asin.gif b/gui-js/apps/minsky-web/src/assets/images/icons/asin.gif deleted file mode 100644 index 53464ddf2..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/asin.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/asin.png b/gui-js/apps/minsky-web/src/assets/images/icons/asin.png new file mode 100644 index 000000000..773600ba5 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/asin.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/atan.gif b/gui-js/apps/minsky-web/src/assets/images/icons/atan.gif deleted file mode 100644 index 26cc7c400..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/atan.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/atan.png b/gui-js/apps/minsky-web/src/assets/images/icons/atan.png new file mode 100644 index 000000000..447016e13 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/atan.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/cos.gif b/gui-js/apps/minsky-web/src/assets/images/icons/cos.gif deleted file mode 100644 index bde1b6d95..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/cos.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/cos.png b/gui-js/apps/minsky-web/src/assets/images/icons/cos.png new file mode 100644 index 000000000..b0224e37c Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/cos.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/cosh.gif b/gui-js/apps/minsky-web/src/assets/images/icons/cosh.gif deleted file mode 100644 index 0ebfe465e..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/cosh.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/cosh.png b/gui-js/apps/minsky-web/src/assets/images/icons/cosh.png new file mode 100644 index 000000000..27750a491 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/cosh.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/covariance.gif b/gui-js/apps/minsky-web/src/assets/images/icons/covariance.gif deleted file mode 100644 index 9f41d82aa..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/covariance.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/covariance.png b/gui-js/apps/minsky-web/src/assets/images/icons/covariance.png new file mode 100644 index 000000000..9059b12bd Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/covariance.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/data.gif b/gui-js/apps/minsky-web/src/assets/images/icons/data.gif deleted file mode 100644 index 1ba431061..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/data.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/data.png b/gui-js/apps/minsky-web/src/assets/images/icons/data.png index eb737a100..96dc031c1 100644 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/data.png and b/gui-js/apps/minsky-web/src/assets/images/icons/data.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/difference.png b/gui-js/apps/minsky-web/src/assets/images/icons/difference.png new file mode 100644 index 000000000..b8fca034d Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/difference.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.gif b/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.gif deleted file mode 100644 index c3e06ce4a..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.png b/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.png new file mode 100644 index 000000000..927abdf2b Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/differentiate.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/divide.gif b/gui-js/apps/minsky-web/src/assets/images/icons/divide.gif deleted file mode 100644 index 87f621c29..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/divide.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/divide.png b/gui-js/apps/minsky-web/src/assets/images/icons/divide.png new file mode 100644 index 000000000..3bdddb687 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/divide.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/eq.gif b/gui-js/apps/minsky-web/src/assets/images/icons/eq.gif deleted file mode 100644 index ebce269a7..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/eq.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/eq.png b/gui-js/apps/minsky-web/src/assets/images/icons/eq.png new file mode 100644 index 000000000..fe6c52183 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/eq.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/euler.gif b/gui-js/apps/minsky-web/src/assets/images/icons/euler.gif deleted file mode 100644 index e4c7cc96b..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/euler.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/euler.png b/gui-js/apps/minsky-web/src/assets/images/icons/euler.png new file mode 100644 index 000000000..6c0574b94 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/euler.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/exp.gif b/gui-js/apps/minsky-web/src/assets/images/icons/exp.gif deleted file mode 100644 index 421deeba0..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/exp.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/exp.png b/gui-js/apps/minsky-web/src/assets/images/icons/exp.png new file mode 100644 index 000000000..963a40d2e Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/exp.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/fact.gif b/gui-js/apps/minsky-web/src/assets/images/icons/fact.gif deleted file mode 100644 index 91c593ff9..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/fact.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/fact.png b/gui-js/apps/minsky-web/src/assets/images/icons/fact.png new file mode 100644 index 000000000..269de125f Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/fact.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/floor.gif b/gui-js/apps/minsky-web/src/assets/images/icons/floor.gif deleted file mode 100644 index dc07dc35d..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/floor.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/floor.png b/gui-js/apps/minsky-web/src/assets/images/icons/floor.png new file mode 100644 index 000000000..df1cd0b9d Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/floor.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/frac.gif b/gui-js/apps/minsky-web/src/assets/images/icons/frac.gif deleted file mode 100644 index 361b8ced3..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/frac.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/frac.png b/gui-js/apps/minsky-web/src/assets/images/icons/frac.png new file mode 100644 index 000000000..a80409135 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/frac.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/gather.gif b/gui-js/apps/minsky-web/src/assets/images/icons/gather.gif deleted file mode 100644 index 3d0eded77..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/gather.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/gather.png b/gui-js/apps/minsky-web/src/assets/images/icons/gather.png new file mode 100644 index 000000000..a150f4aac Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/gather.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/histogram.gif b/gui-js/apps/minsky-web/src/assets/images/icons/histogram.gif deleted file mode 100644 index 09c7023d0..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/histogram.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/histogram.png b/gui-js/apps/minsky-web/src/assets/images/icons/histogram.png new file mode 100644 index 000000000..bf48e0ad3 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/histogram.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/index.gif b/gui-js/apps/minsky-web/src/assets/images/icons/index.gif index a84b55216..f270f6d4e 100644 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/index.gif and b/gui-js/apps/minsky-web/src/assets/images/icons/index.gif differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/index.png b/gui-js/apps/minsky-web/src/assets/images/icons/index.png new file mode 100644 index 000000000..542ae4088 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/index.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/inf.gif b/gui-js/apps/minsky-web/src/assets/images/icons/inf.gif index d3ecd2071..f270f6d4e 100644 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/inf.gif and b/gui-js/apps/minsky-web/src/assets/images/icons/inf.gif differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/inf.png b/gui-js/apps/minsky-web/src/assets/images/icons/inf.png new file mode 100644 index 000000000..c38003e01 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/inf.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.gif b/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.gif deleted file mode 100644 index af221ea30..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.png b/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.png new file mode 100644 index 000000000..9d2e52b3f Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/infIndex.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/infimum.gif b/gui-js/apps/minsky-web/src/assets/images/icons/infimum.gif deleted file mode 100644 index 0927a6adc..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/infimum.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/infimum.png b/gui-js/apps/minsky-web/src/assets/images/icons/infimum.png new file mode 100644 index 000000000..24875d720 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/infimum.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.gif b/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.gif deleted file mode 100644 index 893715e66..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.png b/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.png new file mode 100644 index 000000000..f1fcef6c3 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/innerProduct.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/le.gif b/gui-js/apps/minsky-web/src/assets/images/icons/le.gif deleted file mode 100644 index 75108bcde..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/le.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/le.png b/gui-js/apps/minsky-web/src/assets/images/icons/le.png new file mode 100644 index 000000000..8bcc28982 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/le.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/ln.gif b/gui-js/apps/minsky-web/src/assets/images/icons/ln.gif deleted file mode 100644 index 678bf5136..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/ln.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/ln.png b/gui-js/apps/minsky-web/src/assets/images/icons/ln.png new file mode 100644 index 000000000..9a641041b Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/ln.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/log.gif b/gui-js/apps/minsky-web/src/assets/images/icons/log.gif deleted file mode 100644 index 9be135a0f..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/log.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/log.png b/gui-js/apps/minsky-web/src/assets/images/icons/log.png new file mode 100644 index 000000000..c4c0c125f Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/log.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/lt.gif b/gui-js/apps/minsky-web/src/assets/images/icons/lt.gif deleted file mode 100644 index 15941e827..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/lt.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/lt.png b/gui-js/apps/minsky-web/src/assets/images/icons/lt.png new file mode 100644 index 000000000..1c2261ba4 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/lt.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/max.gif b/gui-js/apps/minsky-web/src/assets/images/icons/max.gif deleted file mode 100644 index 8352f2dbd..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/max.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/max.png b/gui-js/apps/minsky-web/src/assets/images/icons/max.png new file mode 100644 index 000000000..095d012ce Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/max.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/mean.gif b/gui-js/apps/minsky-web/src/assets/images/icons/mean.gif deleted file mode 100644 index fb99f028d..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/mean.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/mean.png b/gui-js/apps/minsky-web/src/assets/images/icons/mean.png new file mode 100644 index 000000000..797168ae6 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/mean.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/median.gif b/gui-js/apps/minsky-web/src/assets/images/icons/median.gif deleted file mode 100644 index e5b94fb0b..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/median.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/median.png b/gui-js/apps/minsky-web/src/assets/images/icons/median.png new file mode 100644 index 000000000..4de1f4108 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/median.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/meld.gif b/gui-js/apps/minsky-web/src/assets/images/icons/meld.gif deleted file mode 100644 index b91df70fa..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/meld.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/meld.png b/gui-js/apps/minsky-web/src/assets/images/icons/meld.png new file mode 100644 index 000000000..d3a0ccf35 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/meld.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/merge.gif b/gui-js/apps/minsky-web/src/assets/images/icons/merge.gif deleted file mode 100644 index 8b930200a..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/merge.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/merge.png b/gui-js/apps/minsky-web/src/assets/images/icons/merge.png new file mode 100644 index 000000000..8363ca387 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/merge.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/min.gif b/gui-js/apps/minsky-web/src/assets/images/icons/min.gif deleted file mode 100644 index 199e1b62b..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/min.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/min.png b/gui-js/apps/minsky-web/src/assets/images/icons/min.png new file mode 100644 index 000000000..2a5f4a685 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/min.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/moment.gif b/gui-js/apps/minsky-web/src/assets/images/icons/moment.gif deleted file mode 100644 index db16581cb..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/moment.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/moment.png b/gui-js/apps/minsky-web/src/assets/images/icons/moment.png new file mode 100644 index 000000000..d2e148fb0 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/moment.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/multiply.gif b/gui-js/apps/minsky-web/src/assets/images/icons/multiply.gif deleted file mode 100644 index b3fd6134e..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/multiply.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/multiply.png b/gui-js/apps/minsky-web/src/assets/images/icons/multiply.png new file mode 100644 index 000000000..8ee863bfe Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/multiply.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/not_.gif b/gui-js/apps/minsky-web/src/assets/images/icons/not_.gif deleted file mode 100644 index 79b7938a2..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/not_.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/not_.png b/gui-js/apps/minsky-web/src/assets/images/icons/not_.png new file mode 100644 index 000000000..b69e0215d Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/not_.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/one.gif b/gui-js/apps/minsky-web/src/assets/images/icons/one.gif deleted file mode 100644 index cbfc9c654..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/one.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/one.png b/gui-js/apps/minsky-web/src/assets/images/icons/one.png new file mode 100644 index 000000000..1e2375ebd Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/one.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/or_.gif b/gui-js/apps/minsky-web/src/assets/images/icons/or_.gif deleted file mode 100644 index 5203eb411..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/or_.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/or_.png b/gui-js/apps/minsky-web/src/assets/images/icons/or_.png new file mode 100644 index 000000000..695234025 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/or_.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.gif b/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.gif deleted file mode 100644 index 061f71ef4..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.png b/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.png new file mode 100644 index 000000000..9748d3ca3 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/outerProduct.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/percent.gif b/gui-js/apps/minsky-web/src/assets/images/icons/percent.gif deleted file mode 100644 index 44b3c58de..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/percent.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/percent.png b/gui-js/apps/minsky-web/src/assets/images/icons/percent.png new file mode 100644 index 000000000..fc612b96e Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/percent.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/pi.gif b/gui-js/apps/minsky-web/src/assets/images/icons/pi.gif deleted file mode 100644 index 8036d1bdf..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/pi.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/pi.png b/gui-js/apps/minsky-web/src/assets/images/icons/pi.png new file mode 100644 index 000000000..a2d6ab4ca Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/pi.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.gif b/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.gif deleted file mode 100644 index a7ea6581d..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.png b/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.png new file mode 100644 index 000000000..6ece6819d Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/polygamma.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/pow.gif b/gui-js/apps/minsky-web/src/assets/images/icons/pow.gif deleted file mode 100644 index 43871521a..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/pow.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/pow.png b/gui-js/apps/minsky-web/src/assets/images/icons/pow.png new file mode 100644 index 000000000..3c7abb28b Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/pow.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/product.gif b/gui-js/apps/minsky-web/src/assets/images/icons/product.gif deleted file mode 100644 index 5db71e696..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/product.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/product.png b/gui-js/apps/minsky-web/src/assets/images/icons/product.png new file mode 100644 index 000000000..e9f054942 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/product.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/rho.gif b/gui-js/apps/minsky-web/src/assets/images/icons/rho.gif deleted file mode 100644 index 0d1076ea2..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/rho.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/rho.png b/gui-js/apps/minsky-web/src/assets/images/icons/rho.png new file mode 100644 index 000000000..26658acbe Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/rho.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/runmode.gif b/gui-js/apps/minsky-web/src/assets/images/icons/runmode.gif deleted file mode 100644 index c40d0cbe8..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/runmode.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.gif b/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.gif deleted file mode 100644 index d0fcfa9a4..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.png b/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.png new file mode 100644 index 000000000..2e40dc873 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/runningProduct.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.gif b/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.gif deleted file mode 100644 index 1eae8af5d..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.png b/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.png new file mode 100644 index 000000000..7c5520c48 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/runningSum.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/shape.gif b/gui-js/apps/minsky-web/src/assets/images/icons/shape.gif deleted file mode 100644 index 0825a8ee0..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/shape.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/shape.png b/gui-js/apps/minsky-web/src/assets/images/icons/shape.png new file mode 100644 index 000000000..a0c6d9b85 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/shape.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sin.gif b/gui-js/apps/minsky-web/src/assets/images/icons/sin.gif deleted file mode 100644 index d5809ea71..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/sin.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sin.png b/gui-js/apps/minsky-web/src/assets/images/icons/sin.png new file mode 100644 index 000000000..04732e911 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/sin.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sinh.gif b/gui-js/apps/minsky-web/src/assets/images/icons/sinh.gif deleted file mode 100644 index f59532681..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/sinh.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sinh.png b/gui-js/apps/minsky-web/src/assets/images/icons/sinh.png new file mode 100644 index 000000000..e78f848ad Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/sinh.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/size.gif b/gui-js/apps/minsky-web/src/assets/images/icons/size.gif deleted file mode 100644 index 113d40b90..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/size.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/size.png b/gui-js/apps/minsky-web/src/assets/images/icons/size.png new file mode 100644 index 000000000..5b8309ab8 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/size.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/slice.gif b/gui-js/apps/minsky-web/src/assets/images/icons/slice.gif deleted file mode 100644 index 594f324cc..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/slice.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/slice.png b/gui-js/apps/minsky-web/src/assets/images/icons/slice.png new file mode 100644 index 000000000..4ef183d71 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/slice.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.gif b/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.gif deleted file mode 100644 index 2333a9585..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.png b/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.png new file mode 100644 index 000000000..6da757b05 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/sqrt.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.gif b/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.gif deleted file mode 100644 index ac1446ab9..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.png b/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.png new file mode 100644 index 000000000..e690ada82 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/stdDev.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/subtract.gif b/gui-js/apps/minsky-web/src/assets/images/icons/subtract.gif deleted file mode 100644 index c269c66b2..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/subtract.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/subtract.png b/gui-js/apps/minsky-web/src/assets/images/icons/subtract.png new file mode 100644 index 000000000..e08c352bd Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/subtract.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sum.gif b/gui-js/apps/minsky-web/src/assets/images/icons/sum.gif deleted file mode 100644 index 3e893be49..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/sum.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/sum.png b/gui-js/apps/minsky-web/src/assets/images/icons/sum.png new file mode 100644 index 000000000..93d3cfa33 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/sum.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.gif b/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.gif deleted file mode 100644 index 104d36b9b..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.png b/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.png new file mode 100644 index 000000000..1599ffb5c Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/supIndex.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/supremum.gif b/gui-js/apps/minsky-web/src/assets/images/icons/supremum.gif deleted file mode 100644 index 3fb7e8666..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/supremum.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/supremum.png b/gui-js/apps/minsky-web/src/assets/images/icons/supremum.png new file mode 100644 index 000000000..f40ada608 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/supremum.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/switch.gif b/gui-js/apps/minsky-web/src/assets/images/icons/switch.gif deleted file mode 100644 index fedf47ab8..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/switch.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/switch.png b/gui-js/apps/minsky-web/src/assets/images/icons/switch.png new file mode 100644 index 000000000..b4416b106 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/switch.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/tan.gif b/gui-js/apps/minsky-web/src/assets/images/icons/tan.gif deleted file mode 100644 index 060edbc01..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/tan.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/tan.png b/gui-js/apps/minsky-web/src/assets/images/icons/tan.png new file mode 100644 index 000000000..9c1aca794 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/tan.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/tanh.gif b/gui-js/apps/minsky-web/src/assets/images/icons/tanh.gif deleted file mode 100644 index 36f391f74..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/tanh.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/tanh.png b/gui-js/apps/minsky-web/src/assets/images/icons/tanh.png new file mode 100644 index 000000000..700dc3d85 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/tanh.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/time.gif b/gui-js/apps/minsky-web/src/assets/images/icons/time.gif deleted file mode 100644 index 42830beb4..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/time.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/time.png b/gui-js/apps/minsky-web/src/assets/images/icons/time.png new file mode 100644 index 000000000..096bbe511 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/time.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.gif b/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.gif deleted file mode 100644 index fd28bb7a2..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.png b/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.png new file mode 100644 index 000000000..1ce4d4ab3 Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/userFunction.png differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/zero.gif b/gui-js/apps/minsky-web/src/assets/images/icons/zero.gif deleted file mode 100644 index 1b0e5861d..000000000 Binary files a/gui-js/apps/minsky-web/src/assets/images/icons/zero.gif and /dev/null differ diff --git a/gui-js/apps/minsky-web/src/assets/images/icons/zero.png b/gui-js/apps/minsky-web/src/assets/images/icons/zero.png new file mode 100644 index 000000000..4e4dd1b4e Binary files /dev/null and b/gui-js/apps/minsky-web/src/assets/images/icons/zero.png differ diff --git a/gui-js/libs/ui-components/src/lib/wiring/available-operations/available-operations.component.html b/gui-js/libs/ui-components/src/lib/wiring/available-operations/available-operations.component.html index 177c33ee0..52de9999f 100644 --- a/gui-js/libs/ui-components/src/lib/wiring/available-operations/available-operations.component.html +++ b/gui-js/libs/ui-components/src/lib/wiring/available-operations/available-operations.component.html @@ -1,7 +1,7 @@