| { | |
| "name": "Locations", | |
| "scopeName": "source.locations", | |
| "patterns": [ | |
| { | |
| "name": "comment.line.file", | |
| "match": "file:.*$" | |
| }, | |
| { | |
| "name": "keyword.locations", | |
| "match": " \\d+:" | |
| }, | |
| { | |
| "name": "keyword.control.locations", | |
| "match": " \\d+" | |
| } | |
| ] | |
| } | |
| { | |
| "name": "Locations", | |
| "scopeName": "source.locations", | |
| "patterns": [ | |
| { | |
| "name": "comment.line.file", | |
| "match": "file:.*$" | |
| }, | |
| { | |
| "name": "keyword.locations", | |
| "match": " \\d+:" | |
| }, | |
| { | |
| "name": "keyword.control.locations", | |
| "match": " \\d+" | |
| } | |
| ] | |
| } | |