| author | Edouard Tisserant <edouard.tisserant@gmail.com> |
| Wed, 22 Nov 2023 21:10:10 +0100 | |
| changeset 3875 | 6d65508a059e |
| 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"/> |