[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Eli Zaretskii |
Subject: |
Re: Variable pitch mode line |
Date: |
Fri, 24 Dec 2021 17:16:48 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: luangruo@yahoo.com, tsdh@gnu.org, emacs-devel@gnu.org,
> monnier@iro.umontreal.ca, juri@linkov.net
> Date: Fri, 24 Dec 2021 16:05:42 +0100
>
> 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.
Indented text can be handled with line-prefix and wrap-prefix, can't
it?
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Po Lu, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Po Lu, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line,
Eli Zaretskii <=
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/25
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/25
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26