All the plugins are closed
Refresh rate of taskmanager is set to 750ms
Seems to happen after several (7?) characters are typed.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3944#issuecomment-2366007550
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/issues/3944/2366007550@github.com