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

Fix some issues with unicode syntax highlighting

Browse Source 
Closes #604
This commit is contained in:
Zachary Yedidia
2017-03-27 14:40:42 -04:00
parent 75d4e70560
commit d087a890ba
4 changed files with 40 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/syntax/html4.yaml
View File

@@ -1,7 +1,7 @@
filetype: html4
detect:
filename: "\\.htm[l]?$"
filename: "\\.htm[l]?4$"
header: "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN|http://www.w3.org/TR/html4/strict.dtd\">"
rules:

2
runtime/syntax/html5.yaml
View File

@@ -1,7 +1,7 @@
filetype: html5
detect:
filename: "\\.htm[l]?$"
filename: "\\.htm[l]?5$"
header: "<!DOCTYPE html5>"
rules: