[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add function window-line-width
From: |
martin rudalics |
Subject: |
Re: [PATCH] Add function window-line-width |
Date: |
Sun, 10 Nov 2019 10:46:08 +0100 |
> A line with X characters should have the width of all thoses characters.
> I see that 'window-largest-empty-rectangle' uses this function, the widths
> of the rectangles it returns are smaller than they really are.
There's always the problem that we want to reserve space for a block
cursor at line end.
> I tested the following code:
[...]
> `(time (test1))` returns 0.000004869
> `(time (test2))` returns 0.00376
Then we probably should rewrite 'window-text-pixel-size' as Eli
suggested earlier.
martin
- [PATCH] Add function window-line-width, Sébastien Chapuis, 2019/11/06
- Re: [PATCH] Add function window-line-width, martin rudalics, 2019/11/07
- Re: [PATCH] Add function window-line-width, martin rudalics, 2019/11/07
- Re: [PATCH] Add function window-line-width, Sébastien Chapuis, 2019/11/07
- Re: [PATCH] Add function window-line-width, martin rudalics, 2019/11/08
- Re: [PATCH] Add function window-line-width, Eli Zaretskii, 2019/11/08
- Re: [PATCH] Add function window-line-width, martin rudalics, 2019/11/08
- Re: [PATCH] Add function window-line-width, Sébastien Chapuis, 2019/11/09
- Re: [PATCH] Add function window-line-width,
martin rudalics <=
- Re: [PATCH] Add function window-line-width, Sébastien Chapuis, 2019/11/10
- Re: [PATCH] Add function window-line-width, Eli Zaretskii, 2019/11/14
- Re: [PATCH] Add function window-line-width, Eli Zaretskii, 2019/11/14
Re: [PATCH] Add function window-line-width, Robert Pluim, 2019/11/07