You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The margins around the line numbers are very large. can an option be added to make the width of the line numbers column be the width of the widest number?
The text was updated successfully, but these errors were encountered:
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
The margins around the line numbers are very large. can an option be added to make the width of the line numbers column be the width of the widest number?
The text was updated successfully, but these errors were encountered: