diff frontends/primitivus/profile_manager.py @ 139:e7b8871e9f52

Primitivus: menu roller doesn't go anymore on a menu if it's empty
author Goffi <goffi@goffi.org>
date Fri, 16 Jul 2010 22:36:58 +0800
parents 2240f34f6452
children ec6611445a5b
line wrap: on
line diff