diff browser_side/menu.py @ 192:cf5c83e7d515

browser side: per tab selected widget management fix bug 6
author Goffi <goffi@goffi.org>
date Sun, 03 Mar 2013 23:30:25 +0100
parents a50ce9c06e0e
children 3092f6b1710c
line wrap: on
line diff