I think part of this has been discussed before, but 1) I have three (count 'em) bugs to show and 2) I have an animated gif to prove it!
So it’s one big gif (sorry), but it shows a few things.
- Normal drag select seems to work fine at the beginning
- But if you do a double-click drag and then a single-click drag to select the end of a line, it seems to go 1 char to the left most of the time. I can also get this to happen without the double-click drag before, but it happens a lot more often with the double-click drag making the first selection.
- Also, you’ll notice that I keep the mouse down and the selection origin seems to move further and further to the left at one point. I hadn’t noticed that in the wild, it just seemed to happen while I was recording. Bonus bug! :bowtie:
- And then, as a separate issue, the gutter between the line numbers and the editor behaves weirdly for line selection. Dragging a selection carefully to the beginning of a line obviously selects to the beginning of the line, all good. Dragging beyond (to the left) the beginning of the line into the line numbers also selects to the beginning of the line, still great. But dragging a selection into the gutter area seems to select to the end of the line! Huh?
Side note: what’s the best way to do these gifs? I use QuickTime to do a screen recording, then use an online converter to make the gif. Is there a more native way that’ll produce smaller and/or sharper gifs?