Re: foreground menu bug

[Richard M. Stallman]

    You asked if someone would like to work on this and I said I would.
    In the meantime I've written a functional equivalent patch.  It's a
    bit a waste of resources to do double work.

Sorry.  I came across the message again, and didn't remember we
had discussed it, so it seemed easiest simply to do the job.