comparison 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
comparison
equal deleted inserted replaced
191:8213e22c1120 192:cf5c83e7d515