Closed Kharacternyk closed 3 years ago
I have to assume that the highlighting for htmlScriptTag
is intentional. Is there an htmlScriptEndTag
or similar that can be changed instead? If no such tag exists, or if there is evidence this styling is unintentional, this can be merged in without issue.
There isn't anything like htmlScriptEndTag
. htmlScriptTag
is highlighted like this since b7f4337, which introduced the HTML highlighting, so I agree that it's somewhat scary to change such old stuff. If the <script>
tag should stand out, could we at least make it bold, like the other tags are, but keep the purple color?
I would prefer consistency as well, so if there's no such highlight group let's merge this in.
Thanks for your contribution!
The current highlighting for the
<script>
tag is inconsistent not only with the other tags but also with the closing</script>
.