SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons.
In most cases jump buttons do not really subscribe to pointed HMI variable, path is given as a relative page jump path. When widget.unsubscribable is set to true, no subscription is made on page switch, but still offset is updated.
This fixes bug happening on relative jump buttons without "disabled" element where offset did not change on relative page switch.

     1

#!/bin/sh

     2

     3

INKSCAPE=inkscape

     4

     5

for fname in `ls *.svg`; do

     6

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

     7

    do

     8

        if [ $i.png -nt $fname ]; then

     9

 	    echo "Skip $i"

    10

        else

    11

	    rm  -f $i.png

    12

	    echo "$INKSCAPE" $fname -z -e $i.png -i $i

    13

	    "$INKSCAPE" $fname -z -e $i.png -i $i

    14

        fi

    15

    done

    16

done

    17

    18

cp ico024.png brz.png

    19

convert -compress none ico*.png brz.ico

    20

rm -f ico*.png

    21

    22

    23

convert -compress none poeico*.png poe.ico

    24

rm -f poeico*.png

    25