[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch text filling
From: |
Feng Shu |
Subject: |
Re: Variable pitch text filling |
Date: |
Fri, 03 Dec 2021 19:47:57 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: "Feng Shu" <tumashu@163.com>
>> Cc: casouri@gmail.com, larsi@gnus.org, emacs-devel@gnu.org
>> Date: Fri, 03 Dec 2021 16:51:41 +0800
>>
>> Maybe we should conside the below feature:
>> 1. Prevent minibuffer/mode/header/tab-line from shaking up and down
>> 2. Provide a simple fontset config UI? customize-fontset?
>> 3. line-height-factor
>
> First, I don't see how any feature that affects the height of the
> lines could be useful for horizontal character-spacing, in general.
>
> Second, I already implemented 1 and 3, and you rejected the results as
the patch implemented 1, do you mean the below?
+++ b/src/window.c
@@ -5246,7 +5246,10 @@ grow_mini_window (struct window *w, int delta)
{
struct frame *f = XFRAME (w->frame);
int old_height = window_body_height (w, true);
- int min_height = FRAME_LINE_HEIGHT (f);
+ int min_height =
+ FLOATP (Vline_height_factor)
+ ? FRAME_LINE_HEIGHT (f) * XFLOAT_DATA (Vline_height_factor)
+ : FRAME_LINE_HEIGHT (f);
eassert (MINI_WINDOW_P (w));
@@ -5279,7 +5282,11 @@ grow_mini_window (struct window *w, int delta)
shrink_mini_window (struct window *w)
{
struct frame *f = XFRAME (w->frame);
- int delta = window_body_height (w, true) - FRAME_LINE_HEIGHT (f);
+ int min_line_height =
+ FLOATP (Vline_height_factor)
+ ? FRAME_LINE_HEIGHT (f) * XFLOAT_DATA (Vline_height_factor)
+ : FRAME_LINE_HEIGHT (f);
+ int delta = window_body_height (w, true) - min_line_height;
eassert (MINI_WINDOW_P (w));
diff --git a/src/xdisp.c b/src/xdisp.c
> unsatisfactory, so this is off the table.
>
> As for easier customization of fontsets: patches are welcome, of
> course. But again, I'm not sure it will fix the problem discussed
> here, since no one has yet come up with a list of fonts where the
> problems that bother you are resolved.
--
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/02
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling,
Feng Shu <=
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Po Lu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04
Re: Variable pitch text filling, chad, 2021/12/01