David Felix wrote:
> Copying previous conversations:
>
> Within issue 289
>
> ----
> What steps will reproduce the problem?
> 1. Enter valid HTML, with a script tag in the head
> 2. Type javascript inside the script tag
> 3. End the script tag with a valid (but unusual) </script > tag. The space is
> the issue.
>
> What is the expected output? What do you see instead?
> The javascript highlighting should stop at the end script tag. Instead,
> syntax highlighting continues into the HTML document.
>
> What version of the product are you using? On what operating system?
> Vim74, Ubuntu 14.04
>
> Please provide any additional information below.
> Line 171;196 can be changed in /runtime/syntax/html.vim to say
> ..."end=+</script\_[^>]*>+me=s-1"... rather than
> ..."end=+</script>+me=s-1"... to fix this issue.
>
>
> ----
>
> It was recommended that I send a patch file directly to the
> maintainer, Claudio Fleiner. I did this and received no response. So
> here I am.
>
> I've been running locally with this patch for some time and would like
> to get it added. Please let me know what I still need to provide. I
> can provide test cases if needed.
OK, I'll include the patch. Thanks!
--
hundred-and-one symptoms of being an internet addict:
51. You put a pillow case over your laptop so your lover doesn't see it while
you are pretending to catch your breath.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
