diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2018-06-23 08:38:46 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2020-01-29 20:03:21 +0100 |
| commit | 0c4c7443625aac79811d57409f87d921dd404e85 (patch) | |
| tree | 52a9cf2c3da3c9c5c69d8a7294f5e97f599618dc /colors/github.kak | |
| parent | 2749093143fe5cdbda306569bdb88ff8162486e9 (diff) | |
rc: Highlight embedded documentation
This commit adds a `documentation` face to the builtin themes, used
to highlight common documentation syntaxes:
/**
* JavaDoc
*/
/*!
* QtDoc
*/
/// Inline documentation
## Inline documentation
The face is only an alias to the `comment` one for now.
Closes #1944
Diffstat (limited to 'colors/github.kak')
| -rw-r--r-- | colors/github.kak | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/colors/github.kak b/colors/github.kak index f685553b..2ca2519b 100644 --- a/colors/github.kak +++ b/colors/github.kak @@ -14,6 +14,7 @@ face global keyword rgb:A71D5D+b face global operator yellow face global attribute rgb:A71D5D face global comment rgb:AAAAAA +face global documentation comment face global meta rgb:183691 face global builtin default+b |