Folks, there is no point in keeping on commenting on a closed issue, its known that it occurs. Thats why its pinned at the top of issues with the workaround.
A change in the editing widget Geany uses _may_ improve it, but other changes mean it can't be upgraded without possibly large changes to Geany, and since the widget is undergoing another round of API changes the decision has been taken to wait until that is released and make all the changes in one step. -- 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/issues/1387#issuecomment-647065737
