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

Correct the comment from # to ! as point out in the gitter chat.

Browse Source
This commit is contained in:
tommy
2017-06-10 11:33:50 +01:00
parent cf92f91e1e
commit 462f73f695
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/syntax/xresources.yaml
View File

@@ -9,6 +9,6 @@ rules:
- constant.number: "\\b[0-9]+\\b"
- symbol.operator: "[*:=]"
- constant.bool: "\\b(true|false)\\b"
- comment: "(^|[[:space:]])#([^{].*)?$"
- comment: "(^|[[:space:]])!([^{].*)?$"
- indent-char.whitespace: "[[:space:]]+$"
- indent-char: " + +| + +"