[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: |
Sun, 26 Dec 2021 13:43:43 +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: Sun, 26 Dec 2021 12:28:55 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > But the line-prefix/wrap-prefix's value is a string that can have its
> > own face. In that case, the link face will not leak into the prefix.
>
> I see, then that should work. Is there a way to make visual-line-mode
> not touch parts of the buffer, like preformatted regions?
Not really. But if the preformatted regions have hard newlines, that
will happen automagically. I believe the HTML produced by makeinfo
uses hard newlines in blocks that must not be reflowed, isn't that
right?
- Re: Variable pitch mode line, (continued)
- 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, 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 <=
- 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
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/27
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/27
- Re: Variable pitch mode line, Stefan Monnier, 2021/12/26
- Re: Variable pitch mode line, Juri Linkov, 2021/12/25