Re: [address@hidden: bug emacs]

[Richard Stallman]

    I think this patch only works around the bug.  The bug is that the
    menu does not get unmapped when the main window is unmapped.

Switching to a different workspace doesn't unmap the Emacs window,
does it?

    Grabbing more is bad in case of crashes so I'd rather avoid doing it
    especially since it doesn't seem to be better from a user perspective

If it is consistent with most apps, that is a big advantage for the
user.  Consistency is very important in user interfaces.  Grabbing can
be a problem in crashes, indeed.  We could have a flag to disable it
which we who debug Emacs could always set.