Clicking in the middle of a selected range, does not deselect the text sometimes

[jespertheend]

Does this issue occur when all extensions are disabled?: Yes

Version: 1.66.1 (Universal)
Commit: 8dfae7a
Date: 2022-04-06T14:49:47.400Z
Electron: 17.2.0
Chromium: 98.0.4758.109
Node.js: 16.13.0
V8: 9.8.177.11-electron.0
OS: Darwin x64 21.4.0

Steps to Reproduce:

1. Select some text
2. Click inside the selection
3. Repeat several times, as it only happens occasionally

I'd say it happens about once every 20 times or so. In this video I happened to get it on the second try:

Screen.Recording.2022-04-08.at.19.55.18.mp4.mp4

[alexdima]

@jespertheend Did you try configuring "editor.dragAndDrop": false which disables drag and drop of text in the editor?

[jespertheend]

It's hard to pin down what causes this exactly. I always have drag and drop disabled, so I don't think that's it. But I recently reverted my editor.cursorWidth back to 0, and I haven't seen the issue since. So it might be the culprit. But I'll need more time to tell for sure.

[jespertheend]

For the record, I had set it to 5 before reverting it

[jespertheend]

Hmm ok it just happened to me with my cursorWidth set to 0, so that's not it.
I'll try setting window.zoomLevel to 0 and see if that fixes it. I normally have it set to -1.

[jespertheend]

Ok I think I was drawing conclusions too quickly last time. Setting editor.cursorWidth to 5 definitely seems to have an effect. I tried selecting an area and then deselecting by clicking the text next to it a hundred times for both settings, here are the results. And with editor.cursorWidth: 0 the bug was triggered 3 out of a 100 times, but with editor.cursorWidth: 5 it was triggered 16 times.

So while editor.cursorWidth is not the immediate cause for this, it definitely seems to increase the chance of it happening.

I don't think window.zoomLevel has any effect on this. The test above was performed with zoomLevel set to 0.