Grammalecte  Check-in [655e0c4bf5]

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: 655e0c4bf58ef1144c1e1d7a74dc90265ec84eed6eb1ffb66d4340a7a593bbd5
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     26       - match: '^!!.*|^\[\+\+\].*'
    27     27         scope: bookmark
    28     28   
    29     29       # Bookmarks
    30     30       - match: '^GRAPH_NAME:.*'
    31     31         scope: bookmark
    32     32   
    33         -      # Bookmarks
    34         -    - match: '^@@@@GRAPH: *(\w+)@@@@ *'
    35         -      scope: bookmark
           33  +    # Graph
           34  +    - match: '^@@@@GRAPH: *(\w+) *'
           35  +      scope: graphline
    36     36         captures:
    37     37           1: string.graphname
           38  +
           39  +    - match: '^@@@@(?:END_GRAPH *| *)'
           40  +      scope: graphline
    38     41   
    39     42       # Keywords are if, else.
    40     43       # Note that blackslashes don't need to be escaped within single quoted
    41     44       # strings in YAML. When using single quoted strings, only single quotes
    42     45       # need to be escaped: this is done by using two single quotes next to each
    43     46       # other.
    44     47       - match: '\b(?:if|else|and|or|not|in)\b'

Modified misc/grammalecte.tmTheme from [2b48e41d1f] to [038fb1429c].

    64     64   			<dict>
    65     65   				<key>foreground</key>
    66     66   				<string>#A0F0FF</string>
    67     67   				<key>background</key>
    68     68   				<string>#0050A0</string>
    69     69   			</dict>
    70     70   		</dict>
           71  +		<dict>
           72  +			<key>name</key>
           73  +			<string>Graphline</string>
           74  +			<key>scope</key>
           75  +			<string>graphline</string>
           76  +			<key>settings</key>
           77  +			<dict>
           78  +				<key>foreground</key>
           79  +				<string>hsl(0, 100%, 80%)</string>
           80  +				<key>background</key>
           81  +				<string>hsl(0, 100%, 20%</string>
           82  +				<key>fontStyle</key>
           83  +				<string>bold</string>
           84  +			</dict>
           85  +		</dict>
    71     86   		<dict>
    72     87   			<key>name</key>
    73     88   			<string>String</string>
    74     89   			<key>scope</key>
    75     90   			<string>string</string>
    76     91   			<key>settings</key>
    77     92   			<dict>