Needless margin?

[mjomble]

The margin where the line numbers are doesn't seem to be used for anything else, yet it remains visible and empty even with line numbers turned off (see attached screenshots).

If it is used for something else, then never mind.

But in case it's just sitting there, providing no useful information, it's taking up valuable screen real estate. Not much of it, but on some long lines, every pixel counts

[Michael Bulgrien]

Left-click in the margin to make custom line-based selections.
Right-click in the margin to get a context menu for managing bookmarks.

[mjomble]

Ooh, bookmarks. Hadn't noticed those before.

[Aaron]

Thanks, Michael.