Overview
| Comment: | [misc] SublimeText theme update |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | misc | rg |
| Files: | files | file ages | folders |
| SHA3-256: |
655e0c4bf58ef1144c1e1d7a74dc9026 |
| User & Date: | olr on 2018-06-13 06:02:13 |
| Other Links: | branch diff | manifest | tags |
Context
|
2018-06-13
| ||
| 07:57 | [core] gc engine: dictionary of tokens position for disambiguation check-in: ff58bafc4d user: olr tags: core, rg | |
| 06:02 | [misc] SublimeText theme update check-in: 655e0c4bf5 user: olr tags: misc, rg | |
| 06:01 | [build] graph builder: add some decoration check-in: 291571d101 user: olr tags: build, rg | |
Changes
Modified misc/grammalecte.sublime-syntax from [d9f6420285] to [8be0ff7e02].
| ︙ | ︙ | |||
26 27 28 29 30 31 32 |
- match: '^!!.*|^\[\+\+\].*'
scope: bookmark
# Bookmarks
- match: '^GRAPH_NAME:.*'
scope: bookmark
| | | | > > > | 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
- match: '^!!.*|^\[\+\+\].*'
scope: bookmark
# Bookmarks
- match: '^GRAPH_NAME:.*'
scope: bookmark
# Graph
- match: '^@@@@GRAPH: *(\w+) *'
scope: graphline
captures:
1: string.graphname
- match: '^@@@@(?:END_GRAPH *| *)'
scope: graphline
# Keywords are if, else.
# Note that blackslashes don't need to be escaped within single quoted
# strings in YAML. When using single quoted strings, only single quotes
# need to be escaped: this is done by using two single quotes next to each
# other.
- match: '\b(?:if|else|and|or|not|in)\b'
|
| ︙ | ︙ |
Modified misc/grammalecte.tmTheme from [2b48e41d1f] to [038fb1429c].
| ︙ | ︙ | |||
64 65 66 67 68 69 70 71 72 73 74 75 76 77 | <dict> <key>foreground</key> <string>#A0F0FF</string> <key>background</key> <string>#0050A0</string> </dict> </dict> <dict> <key>name</key> <string>String</string> <key>scope</key> <string>string</string> <key>settings</key> <dict> | > > > > > > > > > > > > > > > | 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 | <dict> <key>foreground</key> <string>#A0F0FF</string> <key>background</key> <string>#0050A0</string> </dict> </dict> <dict> <key>name</key> <string>Graphline</string> <key>scope</key> <string>graphline</string> <key>settings</key> <dict> <key>foreground</key> <string>hsl(0, 100%, 80%)</string> <key>background</key> <string>hsl(0, 100%, 20%</string> <key>fontStyle</key> <string>bold</string> </dict> </dict> <dict> <key>name</key> <string>String</string> <key>scope</key> <string>string</string> <key>settings</key> <dict> |
| ︙ | ︙ |