FIXED: Bookmark marking should be a little broader on the right-hand side

Report issues, odd behaviors or submit a detailed bug report.
Post Reply
AndreasW
Posts: 57
Joined: 30 May 2017 07:22

FIXED: Bookmark marking should be a little broader on the right-hand side

Post by AndreasW » 05 Oct 2017 14:22

There should be one or two pixels of space between the line number and the right-hand side of the bookmark marking.
 
Zwischenablage01.png
Zwischenablage01.png (2.56 KiB) Viewed 747 times

User avatar
Rickard Johansson
Site Admin
Posts: 5550
Joined: 19 Jul 2006 14:29

Re: Bookmark marking should be a little broader on the right-hand side

Post by Rickard Johansson » 13 Oct 2017 16:31

Added a pixel on the right side in v12.41.

Post Reply