Re: Modify menu-bar help

[Eli Zaretskii]

> From: "Drew Adams" <address@hidden>
> Cc: <address@hidden>, <address@hidden>
> Date: Fri, 25 Feb 2011 07:38:47 -0800
> 
> Ah, I agree.  If this is considered a bug then we should not document it.
> 
> In my previous reply I was thinking that Emacs Dev considered this to be part 
> of
> the design, with no plan to fix it.

As I understand from Jan, this is a GTK bug.

> Bugs and bug workarounds generally should not be documented in the
> manual (but could be documented in release notes etc.).

We could put it in etc/PROBLEMS, I guess, if we think GTK will not
solve this soon enough.