AFAICT this is part of the Scintilla editing widget so it would only be possible if Scintilla provided a method of controlling it.

If "somebody" found out how and made a pull request with an option probably it would be accepted.


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/3574/1749881561@github.com>