Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.
The PR looks good to me. I did test it a bit and everything seems to work and while I'm not a Scintilla highlighting expert, the scintilla part looks good too. I believe the PR could be merged.
@elextr Whet do you think?
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.