images/genicons.sh
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Wed, 27 Jun 2018 13:57:03 +0300
changeset 2233 32445e3c9cfc
parent 533 25437efb7ae4
child 2238 a01a3ed1af2c
permissions -rwxr-xr-x
Catch 'clipboard already open' errors in editors

Apparently following commits have not fixed the problem completely,
because it still happens (although not so often).

changeset: 2019:b8f795bdfe9f
user: Andrey Skvortsov <andrej.skvortzov@gmail.com>
date: Fri May 25 17:40:29 2018 +0300
summary: fix hangs on mouse selection in case if wxPython uses wxWidgets with GTK3+ support

changeset: 2018:5ce6d08ff2c7
user: Andrey Skvortsov <andrej.skvortzov@gmail.com>
date: Fri May 25 17:23:15 2018 +0300
summary: make clipboard open minimal time as wxPython documentation recommends
#!/bin/bash

INKSCAPE=inkscape

for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 
do
 if [ $i.png -nt icons.svg ]; then
 	echo "Skip $i"
 else
	rm  -f $i.png
	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i
	"$INKSCAPE" icons.svg -z -e $i.png -i $i
 fi
done

cp ico24.png brz.png
convert ico*.png brz.ico
rm -f ico*.png