| author | Mario de Sousa <msousa@fe.up.pt> |
| Tue, 07 Mar 2023 09:00:33 +0000 | |
| changeset 3743 | 5450dd9e9370 |
| 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"/> |