[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Line height issues with display-line-number-mode
|
From: |
Eli Zaretskii |
|
Subject: |
Re: Line height issues with display-line-number-mode |
|
Date: |
Tue, 07 May 2019 22:00:01 +0300 |
> Date: Tue, 07 May 2019 21:36:19 +0300
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden, address@hidden
>
> If you a re thinking about clipping characters on display in some way,
Or maybe we could have an option not to put a number on a screen line
that starts with a display or overlay string.
- Line height issues with display-line-number-mode, Clément Pit-Claudel, 2019/05/07
- Re: Line height issues with display-line-number-mode, Noam Postavsky, 2019/05/07
- Re: Line height issues with display-line-number-mode, Eli Zaretskii, 2019/05/07
- Re: Line height issues with display-line-number-mode,
Eli Zaretskii <=
- Re: Line height issues with display-line-number-mode, Stefan Monnier, 2019/05/07
- Re: Line height issues with display-line-number-mode, Eli Zaretskii, 2019/05/07
- Re: Line height issues with display-line-number-mode, Stefan Monnier, 2019/05/07
- Re: Line height issues with display-line-number-mode, Eli Zaretskii, 2019/05/08
- Re: Line height issues with display-line-number-mode, Stefan Monnier, 2019/05/08
- Re: Line height issues with display-line-number-mode, Eli Zaretskii, 2019/05/08
- Re: Line height issues with display-line-number-mode, Noam Postavsky, 2019/05/08
- Re: Line height issues with display-line-number-mode, Stefan Monnier, 2019/05/08
- Re: Line height issues with display-line-number-mode, Noam Postavsky, 2019/05/08
- Re: Line height issues with display-line-number-mode, Eli Zaretskii, 2019/05/08