svgui/__init__.py
author Laurent Bessard
Wed, 24 Apr 2013 09:29:32 +0200
changeset 1058 bb8ac451c28a
parent 728 e0424e96e3fd
child 1511 91538d0c242c
permissions -rw-r--r--
Fixed PythonEditor font size
from svgui import *