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 or view it on GitHub:
https://github.com/geany/geany/issues/3574#issuecomment-1749881561
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/issues/3574/1749881561@github.com