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