/svgui/ rename_on_location_change
drwxr-xr-x [up]
drwxr-xr-x pyjs
-rw-r--r-- 2019-04-04 13:59 +0200 9 README
-rw-r--r-- 2019-04-04 13:59 +0200 1082 __init__.py
-rw-r--r-- 2019-04-04 13:59 +0200 1761 livesvg.js
-rw-r--r-- 2019-04-04 13:59 +0200 57103 pous.xml
-rw-r--r-- 2019-04-04 13:59 +0200 5989 svgui.py
-rw-r--r-- 2019-04-04 13:59 +0200 4985 svgui_server.py
-rw-r--r-- 2019-04-04 13:59 +0200 5048 svguilib.py