- constant: "\\b[0-9]+\\b"
- constant.number: "\\b([0-9]+|0x[0-9a-fA-F]*)\\b|'.'"
+ - comment:
+ start: "\"\"\""
+ end: "\"\"\""
+ rules:
+ - todo: "(TODO|XXX|FIXME):?"
+
+ - comment:
+ start: "'''"
+ end: "'''"
+ rules:
+ - todo: "(TODO|XXX|FIXME):?"
+
- constant.string:
start: "\""
- end: "(?<!\\\\)\""
+ end: "\""
+ skip: "\\\\."
rules:
- constant.specialChar: "\\\\([0-7]{3}|x[A-Fa-f0-9]{2}|u[A-Fa-f0-9]{4}|U[A-Fa-f0-9]{8})"
- constant.string:
start: "'"
- end: "(?<!\\\\)'"
+ end: "'"
+ skip: "\\\\."
rules:
- constant.specialChar: "\\\\([0-7]{3}|x[A-Fa-f0-9]{2}|u[A-Fa-f0-9]{4}|U[A-Fa-f0-9]{8})"
rules:
- todo: "(TODO|XXX|FIXME):?"
- - comment:
- start: "\"\"\""
- end: "\"\"\""
- rules:
- - todo: "(TODO|XXX|FIXME):?"
-
- - comment:
- start: "'''"
- end: "'''"
- rules:
- - todo: "(TODO|XXX|FIXME):?"
-