svgui/pyjs/jsonrpc/__init__.py
| author |
Edouard Tisserant <edouard.tisserant@gmail.com> |
|
Thu, 06 Aug 2020 14:59:04 +0200 |
| branch | svghmi |
| changeset 3007 |
360300a8b995 |
| parent 1869 |
49cdd843c006
|
| permissions |
-rw-r--r-- |
SVGHMI : have to move some JS declarations from "preamble" to "declarations" and others from "declarations" to "definitions" section to make room for JS libraries that would be used by widget classes.