Hi Mirek,

I've been testing latest version master version from the GitHub and I really don't like the behaviour of the IDE when editing the file.
- I mean the cursor getting stuck while typing, when the delay between pressing a key and then writing a character is too long.
- Also, double clicking on a word to highlight the word does not work properly. I have to try double clicking multiple times with different speeds to get this feature to work at all.

OS: Ubuntu 20.04
Linux 5.15.0-56-generic #62~20.04.1-Ubuntu SMP Tue Nov 22 21:24:20 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux
gcc (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0
Ubuntu clang version 13.0.1-++20220120110924+75e33f71c2da-1~exp1~20220120231001.5 8