[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native display of line numbers, improved
From: |
martin rudalics |
Subject: |
Re: Native display of line numbers, improved |
Date: |
Sun, 25 Jun 2017 11:59:30 +0200 |
> 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.
> Comments and bug reports are welcome. Apart of fixing bugs and
> perhaps implementing the visual line counting, the only changes I plan
> to commit before landing this on master is proper documentation in the
> 2 manuals. Otherwise, the feature is complete from my POV, so here's
> your chance to give it a ride before it lands.
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.
martin
- Re: Native display of line numbers, improved, (continued)
- 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, 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 <=
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