SVGHMI: Add inhibition to widget's apply_hmi_value() so that it does not change variable more frquently than given widget's frequency. This prevents flooding network with many update if browser is producing events at high rate, as for exemple when dragging ScrollBar's cursor.

     1

#!/bin/bash

     2

     3

INKSCAPE=inkscape

     4

     5

for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 

     6

do

     7

 if [ $i.png -nt icons.svg ]; then

     8

 	echo "Skip $i"

     9

 else

    10

	rm  -f $i.png

    11

	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i

    12

	"$INKSCAPE" icons.svg -z -e $i.png -i $i

    13

 fi

    14

done

    15