svgui/pyjs/jsonrpc/__init__.py
author Edouard Tisserant
Thu, 28 Mar 2019 13:09:11 +0100
branchwx.NewID_abuse_fix
changeset 2580 9234abac093f
parent 1869 49cdd843c006
permissions -rw-r--r--
Enhanced statistics display code, used it and saw no more noticable leak while editing. Closing branch.
# module jsonrpc