editors/__init__.py
author Laurent Bessard
Fri, 26 Oct 2012 11:14:48 +0200
changeset 872 6aadbde5f41e
parent 814 5743cbdff669
permissions -rw-r--r--
Fix bug when adjusting block size, block informations was not saved when using control + shift + double click