view tools/__init__.py @ 100:db435e82197d

browser side: changed widgets' body min size to (200px, 150px)
author Goffi <goffi@goffi.org>
date Tue, 28 Jun 2011 13:56:20 +0200
parents 0110d4e1d816
children
line wrap: on
line source