svgui/pyjs/jsonrpc/__init__.py
author Edouard Tisserant
Tue, 10 Mar 2020 13:57:29 +0100
branchsvghmi
changeset 2864 36f78f6cfabd
parent 1869 49cdd843c006
permissions -rw-r--r--
SVGHMI: split page switch into switching subscription and switching elements in the DOM, to ensure that subscriptions have been send before changing DOM, and avoid some flicker.
1869
49cdd843c006 fix pylint error '(import-error) Unable to import X'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
diff changeset
     1
# module jsonrpc