svgui/pyjs/jsonrpc/__init__.py
| author |
Edouard Tisserant |
|
Mon, 28 Oct 2019 19:52:43 +0100 |
| branch | svghmi |
| changeset 2808 |
dc78ffa5253d |
| parent 1869 |
49cdd843c006
|
| permissions |
-rw-r--r-- |
SVGHMI: SVG viewport now defined so that HMI take scales and fit to the view. Implemented page switch through viewport change, no hiding of widget for now.