Open StefanJanssen95 opened 8 years ago
Because there is one extra number the line jumps when scrolling. I suggest setting a minimum width of the 3 characters (or depending on the number of lines in the file).
Agreed. It might be as simple as setting a CSS min-width on the gutter.
Because there is one extra number the line jumps when scrolling. I suggest setting a minimum width of the 3 characters (or depending on the number of lines in the file).