[gtksourceview] html.lang: Require end tags for <style> and <script>
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] html.lang: Require end tags for <style> and <script>
- Date: Mon, 26 Nov 2018 23:21:32 +0000 (UTC)
commit 600229589eabdcab70cd86016a6d387d9e7f67c2
Author: Jeffery To <jeffery to gmail com>
Date: Mon Oct 15 04:07:17 2018 +0800
html.lang: Require end tags for <style> and <script>
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/style
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script
data/language-specs/html.lang | 8 --------
1 file changed, 8 deletions(-)
---
diff --git a/data/language-specs/html.lang b/data/language-specs/html.lang
index 30145c2a..94fdf287 100644
--- a/data/language-specs/html.lang
+++ b/data/language-specs/html.lang
@@ -297,10 +297,6 @@
<context sub-pattern="0" where="start" style-ref="tag"/>
<context ref="generic-tag"/>
- <context end-parent="true" style-ref="tag">
- <match>/></match>
- </context>
-
<context id="style-code" end-parent="true">
<start>></start>
<end></style\s*></end>
@@ -320,10 +316,6 @@
<context sub-pattern="0" where="start" style-ref="tag"/>
<context ref="generic-tag"/>
- <context end-parent="true" style-ref="tag">
- <match>/></match>
- </context>
-
<context id="js-code" end-parent="true">
<start>></start>
<end></script\s*></end>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]