Overview
| Comment: | [misc] SublimeText theme update |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | misc |
| Files: | files | file ages | folders |
| SHA3-256: |
f3f19b9fb0bdee393b612ca22def3c88 |
| User & Date: | olr on 2017-06-07 07:42:20 |
| Other Links: | manifest | tags |
Context
|
2017-06-07
| ||
| 08:15 | [fr] phonet_simil: flair/flaire, soupir/soupire, su/sue, tapir/tapirent check-in: 7fc8e4e27f user: olr tags: trunk, fr | |
| 07:42 | [misc] SublimeText theme update check-in: f3f19b9fb0 user: olr tags: trunk, misc | |
| 07:37 | [core][fr] merge bookmark feature check-in: 72537ca8e8 user: olr tags: trunk, fr, core, new_feature | |
Changes
Modified misc/grammalecte.sublime-syntax from [5e8bef6d14] to [f7dfed6343].
| ︙ | ︙ | |||
18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
scope: punctuation.definition.comment
push: line_comment
# Numbers
- match: '\b(-)?[0-9.]+\b'
scope: constant.numeric
# 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'
scope: keyword.python
| > > > > | 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 |
scope: punctuation.definition.comment
push: line_comment
# Numbers
- match: '\b(-)?[0-9.]+\b'
scope: constant.numeric
# Bookmarks
- match: '^!!.*|^\[\+\+\].*'
scope: bookmark
# 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'
scope: keyword.python
|
| ︙ | ︙ |
Modified misc/grammalecte.tmTheme from [8385539529] to [7305de87f8].
| ︙ | ︙ | |||
51 52 53 54 55 56 57 58 59 60 61 62 63 64 | <string>comment</string> <key>settings</key> <dict> <key>foreground</key> <string>#607080</string> </dict> </dict> <dict> <key>name</key> <string>String</string> <key>scope</key> <string>string</string> <key>settings</key> <dict> | > > > > > > > > > > > > > | 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | <string>comment</string> <key>settings</key> <dict> <key>foreground</key> <string>#607080</string> </dict> </dict> <dict> <key>name</key> <string>Bookmark</string> <key>scope</key> <string>bookmark</string> <key>settings</key> <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> |
| ︙ | ︙ |