[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch text filling
From: |
Eli Zaretskii |
Subject: |
Re: Variable pitch text filling |
Date: |
Sat, 27 Nov 2021 09:43:23 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: emacs-devel@gnu.org
> Date: Sat, 27 Nov 2021 08:12:48 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > You mean, add space inside of a word? That could at first be avoided,
> > because doing that isn't trivial.
>
> Not trivial in what way?
The Lisp code would be unnecessarily complicated. And having a
display property on each character will slow down redisplay, because
handle_stop will be called for each character. Having too many
intervals on buffer text is also best avoided for other reasons
(memory etc.).
> > I'm not sure min-width is the right implementation for that, because
> > we don't really want to put a separate property on each character.
> > This should probably be implemented by tweaking the advance width the
> > glyphs or something.
>
> That'd probably be more efficient, but some cursory testing seems to
> indicate that putting a min-width on every char in a pretty big buffer
> works fine.
I don't like such an implementation. It's a kludge at best, IMO.
Please let's not go that way.
- Variable pitch text filling, Lars Ingebrigtsen, 2021/11/26
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/26
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/26
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/26
- Re: Variable pitch text filling, Stefan Monnier, 2021/11/26
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling,
Eli Zaretskii <=
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/29
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/29
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29