@b4n: thanks for the info. I also played around with the cursor a bit. I managed to use it as a replacement but also noticed that it does not make any difference. Setting selection mode to none also does not help.
> Obviously we can't filter anymore, but the selection/cursor doesn't jump > around anymore. Interesting. Will have a look too. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1784#issuecomment-372009322
