diff browser_side/tools.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 9d8e79ac4c9c
children ddfcc4cb6cee
line wrap: on
line diff