annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source