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

Add cross-compilation script

Browse Source
This commit is contained in:
Zachary Yedidia
2016-03-22 18:17:11 -04:00
parent a5b0befba1
commit d20df210d0
84 changed files with 53 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
runtime/syntax/json.micro Normal file
View File

@@ -0,0 +1,11 @@
syntax "JSON" "\.json$"
header "^\{$"
color blue "\b[-]?[1-9][0-9]*([Ee][+-]?[0-9]+)?\b" "\b[-]?[0](\.[0-9]+)?\b"
color cyan "\bnull\b"
color brightcyan "\b(true|false)\b"
color yellow ""(\\.|[^"])*"|'(\\.|[^'])*'"
color brightyellow "\"(\\"|[^"])*\"[[:space:]]*:" "'(\'|[^'])*'[[:space:]]*:"
color magenta "\\u[0-9a-fA-F]{4}|\\[bfnrt'"/\\]"
color ,green "[[:space:]]+$"
color ,red " + +| + +"