comparison browser_side/menu.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 d57e0d6b1ced
children 500a1529c191
comparison
equal deleted inserted replaced
87:3029e3fdbd40 88:50b480fd0605