comparison server_side/__init__.py @ 88:50b480fd0605

browser side: widgetsPanel is now scrollable when there are too many widgets, and widgets have a minimum size
author Goffi <goffi@goffi.org>
date Mon, 27 Jun 2011 16:46:31 +0200
parents c28a4840e1a8
children c144b603fb93
comparison
equal deleted inserted replaced
87:3029e3fdbd40 88:50b480fd0605