Re: [PATCH] Show/Hide menu

[Richard Stallman]

    That's okay with me (the one who has disabled the menu-bar most probably
    will have disabled the tool-bar, too).  My recommendation is to add the
    GUI entity to the mode-line after the first space:

This could be ok as long as it does not take up much mode line space.
But will users find it there?  Perhaps they will, if it visibly
changes shape when they turn off the menu bar.  But I suspect that
with the visual distraction of the disappearance of the menu bar,
users won't notice this change.