Gnome User Guide: Customizing the Panel Menubar (revised)

[Jim Kissel]

Matthew East wrote:
> Hi,
> 
> On 30/08/2007, Jim Kissel <jlk at osml.eu> wrote:
>> Ok once more into the breach!  s/Menu Bar/Menubar/ and add editing via
>> System -> Preferences -> Main Menu
> 
> Sorry to be a pain about this, but the instances of "Menu Bar" that
> you've changed appear in indexing tags; what that means is that they
> don't appear to the user and are there simply to assist when the user
> searches for a string. Given that the user is unlikely to know whether
> it's called "menu bar" or "menubar", it's preferable to keep the index
> term on both so that either search will find the appropriate text.
> 
> Hope that makes sense.

No it doesn't, but then I don't make the rules. Attached is my last 
patch re: Menu Bar - Menubar - menu bar - menubar

Apologies to all who have been bored by this exchange.  I will now try 
to find some non-contentious area in the Gnome User Guide to work on.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: edit_mainmenu2.diff
Type: text/x-patch
Size: 4824 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-doc/attachments/20070831/6720cd92/attachment.bin>