Hi,
Thanks for the thorough explanation. I’ve seen highlighting of both in other apps in the one document so I wonder what their overhead is for it.
I suppose I must not understand the intricacies of it all, but on the surface, isn’t it just the HTML syntax highlighting, plus more or vice versa? I wouldn’t have thought coding to highlight certain terms would be that complicated.