[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native display of line numbers
From: |
Alan Mackenzie |
Subject: |
Re: Native display of line numbers |
Date: |
Mon, 19 Jun 2017 19:38:38 +0000 |
User-agent: |
Mutt/1.7.2 (2016-11-26) |
Hello, Eli.
On Mon, Jun 19, 2017 at 22:28:41 +0300, Eli Zaretskii wrote:
> > Date: Mon, 19 Jun 2017 18:39:45 +0000
> > Cc: address@hidden
> > From: Alan Mackenzie <address@hidden>
> > There's one other thing which surprises me, and apologies if somebody
> > else has already mentioned it and I've missed that post. At least on a
> > Linux tty, one character position is "wasted" to the left of the line
> > numbers. Just about everything else I use in this tty environment,
> > including the command line, and the emacs master, starts with the first
> > character of a line bang up against the edge of the screen. So why is
> > this extra space put in?
> The reason is explained in the comments. In a nutshell, it's a cheaty
> solution for a problem for which I couldn't find a better one. If I
> ever will, the extra space will go away.
OK.
> (I'm surprised that someone could be sensitive to one less column with
> today's large screens, especially after giving up several columns for
> the numbers.)
My screen is 240 characters wide. Split that into three follow-mode
windows, and those windows are 79, 79, 80 wide. With much code being "a
bit less than 80" wide, that extra space might make for quite a few more
continued lines.
The extra space at the rim of the monitor does kind of stand out rather,
though.
> > Might this be a case for a user option?
> No, sorry.
OK.
--
Alan Mackenzie (Nuremberg, Germany).
Re: Native display of line numbers, Filipe Silva, 2017/06/22
- Re: Native display of line numbers, Eli Zaretskii, 2017/06/22
- Re: Native display of line numbers, Filipe Silva, 2017/06/22
- Re: Native display of line numbers, Stefan Monnier, 2017/06/23
- Re: Native display of line numbers, Eli Zaretskii, 2017/06/23
- Re: Native display of line numbers, Stefan Monnier, 2017/06/23
- Re: Native display of line numbers, Eli Zaretskii, 2017/06/24
Re: Native display of line numbers, Yuri Khan, 2017/06/22