I don't plan on changing anything else. I have been testing my changes for the past month and it is working quite well. I never received an answer for the changes on scintilla.

Is there any chance of this getting merged?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.