diff options
author | Gokul Soumya | 2022-07-08 22:05:06 +0000 |
---|---|---|
committer | Pascal Kuthe | 2022-10-01 15:00:32 +0000 |
commit | 999b45b28c157418c20a9a8cd9219db6ce0beac7 (patch) | |
tree | 2e865dec1254cfe759b04c72ece5e7d2af5d0991 /runtime/queries/julia | |
parent | c9584251f321a8540cf530561896b2f48f0b76a2 (diff) |
Support different kinds of underline rendering
Adds four new modifiers that can be used in themes:
- undercurled
- underdashed
- underdotted
- double-underline
Diffstat (limited to 'runtime/queries/julia')
0 files changed, 0 insertions, 0 deletions