svgui/__init__.py
author Laurent Bessard
Fri, 26 Oct 2012 11:14:48 +0200
changeset 872 6aadbde5f41e
parent 728 e0424e96e3fd
child 1511 91538d0c242c
permissions -rw-r--r--
Fix bug when adjusting block size, block informations was not saved when using control + shift + double click
from svgui import *