Maybe Scintilla needs to export some controls, such as resetting when the user does reload, although of course that can be undone, so maybe not. Agree off by default until we get more experience with it.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3591#issuecomment-1755522122
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3591/c1755522122@github.com