github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-15 21:37:09 +09:00
Code Issues Packages Projects Releases Wiki Activity

fix #1318. fix html comments and make them work multiline

Browse Source
This commit is contained in:
Patrick Weingaertner
2019-07-26 21:49:40 +02:00
parent 3a8898dadd
commit 523592be26
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
runtime/syntax/html.yaml
View File

@@ -18,9 +18,13 @@ rules:
- symbol.tag: "<|>" - symbol.tag: "<|>"
- constant.string.url: "(ftp(s)?|http(s)?|git|chrome)://[^ ]+" - constant.string.url: "(ftp(s)?|http(s)?|git|chrome)://[^ ]+"
- comment: "<!--.+?-->"
- preproc: "<!DOCTYPE.+?>" - preproc: "<!DOCTYPE.+?>"
- comment:
start: "<!--"
end: "-->"
rules: []
- constant.string: - constant.string:
start: "\"" start: "\""
end: "\"" end: "\""