mouse cannot select any text in source editor

Hello, nearby ten times a day I cannot select text with the mouse in the source editor. I can click around and position the cursor but not select something. This happens in one editor only, in others all is working normal. Closing the editor and reopen the file changed nothing. After restart the IDE all is o.k. But every hour restarting rstudio is very annoying. This happens in Linuxmint 21, in the moment rstudio 2023.06.1 Build 524. I have tried it in windows 10 and it's happened also only with less frequency. I have changed the graphics device and this changed nothing. Also changing the theme don't change anything.

Hello,
I encourage you to raise your issue over at the Rstudio IDE github issues page

Issues

This topic was automatically closed 21 days after the last reply. New replies are no longer allowed.

If you have a query related to it or one of the replies, start a new topic and refer back with a link.