mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-05 14:40:20 +09:00
Dont take # as comment when preceded by backslash (#2112)
When escaped with a backslash (e.g., inside a regex) the numeral char, ```#```, shouldn't be interpreted as a beginning of comment.
This commit is contained in:
committed by
GitHub
parent
56c7744e23
commit
2dc2cabe0e
@@ -18,7 +18,7 @@ rules:
|
||||
- constant.number: "\\b0[bB][01][01_]+\\b"
|
||||
- constant.number: "\\b[0-9_]((\\.?)[0-9_]+)?[eE][+\\-][0-9][0-9_]+\\b"
|
||||
- constant.string: "\"(\\\\.|[^\"])*\"|'(\\\\.|[^'])*'"
|
||||
- comment: "[[:space:]]*#.*$"
|
||||
- comment: "[[:space:]]*[^\\\\]#.*$"
|
||||
- comment:
|
||||
start: "\\#\\["
|
||||
end: "\\]\\#"
|
||||
|
||||
Reference in New Issue
Block a user