svgui/pyjs/jsonrpc/__init__.py
| author |
Edouard Tisserant |
|
Mon, 13 Aug 2018 13:24:28 +0200 |
| changeset 2262 |
4195545e2d17 |
| parent 1869 |
49cdd843c006
|
| permissions |
-rw-r--r-- |
NevowServer : added addInfoString to allow extensions to declare some read-only strings to be displayed in settings. Also renamed addExtension in addSettings for clarity.