comparison 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
comparison
equal deleted inserted replaced
115:f8af6b21ed61 116:aff34642616b