another little cosmetic thing

Hi Antonis,

After using HiEditor for quite a while, I thought if it could be possible to slightly increase the space between text and the line numbers bar (see image, I added 5 pixels there which might be a little much, but so it is more obvious what I mean).

IMO currently the text looks a little bit 'squished' against the line numbers bar.

I admit this might be nitpicking, but I think at least 2-3 pixels added would look a bit better than currently.

Attached Image

You can add more space under Options => Editor => Line Numbers => Selbar Width. ;)

Icfu

Thanks, I know that (and guess who suggested that a while ago ;-) ). This controls the width of the line numbers bar, which is already quite nice.

But you can increase the selBar width by dozens of pixels, the text still is 'pressed' against the right margin of the line nrs bar. If you look at my fake screener, you'll see that the pixels I added there are not colored like the line nrs bar but like the text background, and this is exactly my point.

I admit this wish is hardly worth to write about, but everytime I continue reading in the beginning of the next line in HiEditor, I kind of 'visually stumble' upon this little squished appearance. E.g. PlainEdit has a margin of about 3 pixels between text and line nrs bar which I consider to be very 'ergonomic' for my personal perception.