Subject: Re: bug#18855: 25.0.50; 123-char line in Org manual top menu
From: Nicolas Goaziou <[email-masked]>
To: Drew Adams <[email-masked]>
Cc: [email-masked]
Date: Wed, 03 Jan 2018 15:35:50 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Drew Adams <[email-masked]> writes:

> Menu lines in manuals should be max 70 chars.  This is not the case for
> the Org manual, top menu.  It even has this menu item, which is 123 chars:
>
> * Language-specific header arguments in Org mode properties::  Set language-specific default values for a buffer or heading

This is fixed. The manual doesn't contain such a long menu item anymore.
All items are below 80 chars.

Thank you.

Regards,

-- 
Nicolas Goaziou                                                0x80A93738