Runestone icon indicating copy to clipboard operation
Runestone copied to clipboard

Line number gutter blocking selection bar

Open jbromberg opened this issue 1 year ago • 2 comments

What happened?

This is sort of a nitpick, but when selected on text that is next to the line number, the selection bar is clipped. It would be great if the selection bar was rendered above the line number gutter. IMG_46AB3CC9E51F-1

What are the steps to reproduce?

Select text next to line number gutter

What is the expected behavior?

Selection bar renders on top of the line number gutter

jbromberg avatar Jan 17 '24 21:01 jbromberg

Thanks for opening the issue. I’ll see if there’s a good way to address this in a future update to Runestone.

Selection bars are also shown below the navigation bar, even when a UITextView is scrolled to the top, so I don’t consider this a critical issue. At the time being, it can be worked around by increasing the textContainerInset.

I’m working on a big update to the framework and will consider good ways to fix it as part of that update.

simonbs avatar Jan 21 '24 06:01 simonbs

Awesome thanks. I've just started using Runestone and it's been great. Looking forward to the update!

jbromberg avatar Jan 21 '24 15:01 jbromberg