I have created PR #3011 for this.

Thanks

If I understand it correctly, that part is handled by scintilla, right? Do you have any idea where to look in there, or should I just file a new bug in upstream?

Yes and Yes.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.