Announcement

Collapse
No announcement yet.

Needless margin?

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • Needless margin?

    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

  • #2
    Left-click in the margin to make custom line-based selections.
    Right-click in the margin to get a context menu for managing bookmarks.
    BC v4.0.7 build 19761
    ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯

    Comment


    • #3
      Ooh, bookmarks. Hadn't noticed those before.

      Comment


      • #4
        Thanks, Michael.
        Aaron P Scooter Software

        Comment

        Working...
        X