On 21 Jul 2008, at 12:01, Chong Yidong wrote:
>  Please don't add a menu-bar entry for this.  The menu-bar is  
> already too
> cluttered.

Do we expect a sizeable number of users to look for this?
If so, we should add it to the Show/Hide menu.

As for clutter: the show/hide menu only has 11 entries with this.

(It is a general problem that users can't find functions unless they  
read a big manual, know how to search customizations or read a news  
group.)