diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-22 11:44:04 -0800 |
---|---|---|
committer | Alexander Biehl <abiehl@novomind.com> | 2018-02-02 12:36:02 +0100 |
commit | 97b0189927924b82ee26f762c88ccd965eee8d80 (patch) | |
tree | 2aa9235d21955e58970443fcfa76194b0c8f24d0 /doc/conf.py | |
parent | d314d0c3c9d6213417954f46757c511864077927 (diff) |
Properly color pragma contents in hyperlinker
The hyperlinker backend now classifies the content of pragmas as
'TkPragma'. That means that in something like '{-# INLINE foo #-}',
'foo' still gets classified as a pragma token.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions