annotate browser_side/__init__.py @ 177:ba95cd824e06

browser side: tab is removed if it doesn't contain widget anymore. bug 8
author Goffi <goffi@goffi.org>
date Fri, 25 Jan 2013 00:38:06 +0100
parents c725b702e927
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source