7:addc7b3b1e8f | 8:3ec33e546c39 |
---|---|
71 color red "\"(\\.|[^\\\"])*\"|'(\\.|[^\\'])*'" | 71 color red "\"(\\.|[^\\\"])*\"|'(\\.|[^\\'])*'" |
72 | 72 |
73 # color red start="\[\[" end="\]\]" | 73 # color red start="\[\[" end="\]\]" |
74 | 74 |
75 | 75 |
76 # Escapes | 76 # Hex literals |
77 color red "\\[0-7][0-7][0-7]|\\x[0-9a-fA-F][0-9a-fA-F]|\\[abefnrs]|(\\c|\\C-|\\M-|\\M-\\C-)." | 77 color red "0x[0-9a-fA-F]*" |
78 | 78 |
79 | 79 |