Skip to content

Instantly share code, notes, and snippets.

@chris-martin
Last active December 18, 2015 12:59
Show Gist options
  • Save chris-martin/5786495 to your computer and use it in GitHub Desktop.
Save chris-martin/5786495 to your computer and use it in GitHub Desktop.

Line numbers become hidden as editor font size increases

The size of the line number column is fixed. It ought to scale up with the editor's font size, because otherwise the line numbers don't fit.

Screenshots are from version 12.0. Also seen in version 12.1.4.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment