This seems to be a bug in menu and not any particular window manager. It is fixed in latest Debian sid. Ubuntu was just unlucky enough to import new packages when this bug existed.
This seems to be a bug in menu and not any particular window manager. It is fixed in latest Debian sid. Ubuntu was just unlucky enough to import new packages when this bug existed.