[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native display of line numbers, improved
From: |
Eli Zaretskii |
Subject: |
Re: Native display of line numbers, improved |
Date: |
Sun, 25 Jun 2017 16:54:04 +0300 |
> Date: Sun, 25 Jun 2017 11:59:30 +0200
> From: martin rudalics <address@hidden>
>
> > All the bugs reported till now are fixed, with the sole exception of
> > truncated-lines display. The latter behaves better now (in
> > particular, the funny problem reported by Martin, whereby you couldn't
> > get to the line beginning, is gone),
>
> Confirmed. The speed is quite remarkable, BTW.
Thanks.
> We could think about a slot in the window structure which would control
> line number display for a particular window (including the tooltip and
> minibuffer windows). We'd need three values: Something like 'always'
> for displaying them unconditionally, nil for respecting the window
> buffer's local value and 'never' for never displaying line numbers in
> that window.
Is there a use case for displaying line numbers in a window rather
than in all windows displaying a specific buffer?
The code is already involved enough, and every additional sub-feature
makes it a bit slower and less clear. So if there are no valid use
cases for this, I'd like to wait until they come up, before coding
this.
- Re: Native display of line numbers, improved, (continued)
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/25
Re: Native display of line numbers, improved, Stephen Berman, 2017/06/24
Re: Native display of line numbers, improved, martin rudalics, 2017/06/25
- Re: Native display of line numbers, improved,
Eli Zaretskii <=
Re: Native display of line numbers, improved, Alex, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved, Alex, 2017/06/25
- Re: Native display of line numbers, improved, Alex, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/26
- Re: Native display of line numbers, improved, Alex, 2017/06/26
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/27
- Native line numbers column disappears at times, Kaushal Modi, 2017/06/29
- Re: Native line numbers column disappears at times, Eli Zaretskii, 2017/06/30