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 /rc/tools/python | |
| 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 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions