[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width
From: |
martin rudalics |
Subject: |
bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width |
Date: |
Sat, 20 Dec 2014 18:51:14 +0100 |
>> The faces apparently _get_ merged dependent on the buffer _and_ the
>> frame.
>
> Remapped faces might depend on the buffer
... and the frame ...
> , non-remapped ones depend
> only on the frame.
>
>> I need a corresponding `window-char-height' as well, probably also with
>> a FACE argument.
>
> Without the FACE argument, you already have default-font-height,
It's the window that establishes the correspondence between a buffer and
its frame. Otherwise we can do away with `window-char-width' as well.
>> I profoundly dislike the "default-" prefix here. `buffer-font-height'
>> and `buffer-font-width' would be much better IMHO.
>
> But a buffer can use a variety of fonts.
OK. Then this needs a better doc-string.
martin
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, (continued)
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Titus von der Malsburg, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, martin rudalics, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Titus von der Malsburg, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, martin rudalics, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width,
martin rudalics <=
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Titus von der Malsburg, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/20
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Titus von der Malsburg, 2014/12/21
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/22
- bug#19395: 25.0.50; Setting left fringe to 0 messes up window-width, Eli Zaretskii, 2014/12/18