author | Edouard Tisserant <edouard@beremiz.fr> |
Thu, 19 Sep 2024 15:12:45 +0200 | |
changeset 4017 | 3977d55217ec |
parent 3601 | 26a2808038fd |
permissions | -rw-r--r-- |
3601
26a2808038fd
SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff
changeset
|
1 |
<?xml version='1.0' encoding='utf-8'?> |
26a2808038fd
SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff
changeset
|
2 |
<SVGHMI xmlns:xsd="http://www.w3.org/2001/XMLSchema"/> |