diff -r ffc8da83fdc2 -r 5c662d2e3f72 doc/svghmi/svhgmi_inkscape.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/svghmi/svhgmi_inkscape.svg Fri Apr 05 13:11:30 2024 +0200 @@ -0,0 +1,1004 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Down Arrow + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Use SVGHMI widget syntaxto turn SVG elements into widgets + + + +