view tools/__init__.py @ 71:c335675eef7c

browser side: menu separator + last popup menu hack to avoid it being shown out of the screen
author Goffi <goffi@goffi.org>
date Fri, 17 Jun 2011 22:38:48 +0200
parents 0110d4e1d816
children
line wrap: on
line source