Line numbering should be tab-specific
Brought to you by:
tringali
If you have a window with multiple tabs and you turn line
numbering on/off in one of the tabs, it affects all the other tabs in
that window as well.
Line numbering changes should be specific to the tab where there
are applied, not to every tab in the window.
Logged In: YES
user_id=119143
I agree, line numbers should be bound to the document, not
the window. This is not possible with the current
implementation.
I would want the gutter (the area where the line numbers are
displayed) to be displayed at all times though, to avoid
jumping text when switching windows.
Logged In: YES
user_id=411637
If the gutter is always displayed, what do we gain by turning
off the line numbers? IMO, line numbers should be ON by
default (it's OFF now). In fact, line numbers should probably
be left ON all the time, unless you are so tight on the screen
area.
Logged In: YES
user_id=119143
>If the gutter is always displayed, what do we gain by
>turning off the line numbers?
Good question. Not much, a little less noise on the screen
maybe.
I wouldn't mind line numbers at all times, but that would be
a step backwards. I'm sure many people will hate them.
As for the general problem, I think there is a conflict
between non-jumping text and per-document gutter. I don't
see a clean way to resolve it.