annotate browser_side/__init__.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 c725b702e927
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source