[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 15:45:07 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Juri Linkov <juri@linkov.net>, Eli Zaretskii <eliz@gnu.org>,
> emacs-devel@gnu.org, monnier@iro.umontreal.ca, tsdh@gnu.org
> Date: Fri, 24 Dec 2021 14:34:05 +0100
>
> Po Lu <luangruo@yahoo.com> writes:
>
> > It seems a bit scary to me. For example, how would I quickly find "see
> > Optimize Options", if that was generated by a pxref, where the "see" and
> > "Optimize Options" are in different nodes?
>
> We don't have code for that today, but it doesn't seem particularly
> difficult to implement.
Btw: why doesn't shr rely on visual-line-mode to wrap the text, but
instead performs the layout in Lisp and inserts hard newlines into the
buffer? If the reflowing was delegated to visual-line-mode, wouldn't
it be much faster?
- RE: [External] : Re: HTML info, (continued)
- RE: [External] : Re: HTML info, Drew Adams, 2021/12/24
- Re: Variable pitch mode line, Juri Linkov, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 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, 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, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Po Lu, 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, 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, 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