view browser_side/__init__.py @ 198:ab239b3b67b3

browser side: tabs are now dropable (i.e. we can now move widgets between tabs)
author Goffi <goffi@goffi.org>
date Thu, 07 Mar 2013 01:16:13 +0100
parents c725b702e927
children
line wrap: on
line source