[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 16:55:47 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: emacs-devel@gnu.org
> Date: Sat, 27 Nov 2021 15:28:08 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > It is trivial to add some pixels to the width of a glyph we produce
> > for a character: it just involves enlarging the it->pixel_width and/or
> > the glyph->pixel_width when we produce the glyph for that character.
>
> Right. This reminds me -- perhaps we'd want to distribute the extra
> space both before and after the glyph, to centre it within its allotted
> width?
I don't think so, because that would move the leftmost character away
from the window-edge.
> > What would be the exact meaning of "char-spacing 1.0" here? IOW, how
> > would we compute the number of pixels to add to each glyph's width in
> > this case? what is a "normal character" for this purpose?
>
> It's the same as for all these width specs -- it's FRAME_COLUMN_WIDTH.
That's not the best possibility, because if some part of the affected
text uses a smaller font, you'd see glyphs that are too-widely spaced?
- 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, 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, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling,
Eli Zaretskii <=
- 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
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/30
- 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