diff browser_side/menu.py @ 116:aff34642616b

browser side: widgets are now added in a widgetsPanel when a tab is created
author Goffi <goffi@goffi.org>
date Tue, 05 Jul 2011 14:06:03 +0200
parents 500a1529c191
children f9d63624699f
line wrap: on
line diff