[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 14:11: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: Sun, 26 Dec 2021 13:02:32 +0100
>
> In the HTML, newlines are just whitespace like anything else. When
> rendering most elements, the newlines are transformed to spaces. (But
> that's not done when rendering <pre> elements.)
>
> <p>When a form is a macro call, it expands into a new form for Lisp to
> evaluate. We show the result of the expansion with
> ‘<samp>→</samp>’. We may or may not show the result of the
> evaluation of the expanded form.
> </p>
> <div class="example">
> <pre class="example">(third '(a b c))
> → (car (cdr (cdr '(a b c))))
> ⇒ c
> </pre></div>
>
> Nothing special about the newline characters (or the lack of them).
In that case, I guess we will need to convert newlines to spaces
inside "<p>..</p>", but not inside <pre>.
> Anyway, your suggestion was to have shr not do the reflow, but leave
> that to redisplay. My question was whether we have a way to avoid that
> on certain pre-formatted lines, like if you have:
>
> <pre>This is a line that will be reflowed by visual-line-mode because it's
> too wide for the window, but it shouldn't be reflowed.</pre>
We could convert spaces into NBSPs, I guess? But if the above a
frequent situation in GNU manuals?
- Re: Variable pitch mode line, (continued)
- 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
- 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/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
- Re: Variable pitch mode line, Po Lu, 2021/12/25
- Re: Variable pitch mode line, Juri Linkov, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Tassilo Horn, 2021/12/23