Re: Variable pitch mode line

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> That's the TOC (or maybe other menus), where the columns are not
> really important, IMO.

But they're there.  There's also a lot of indented sections (like in
@table) where visual-line-mode is equally unhelpful.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no