diff options
| author | Pascal Kuthe | 2022-10-01 00:15:25 +0000 |
|---|---|---|
| committer | Pascal Kuthe | 2022-10-01 17:29:46 +0000 |
| commit | 71ee589bbc723e7a55585ddc2ca43c29ee93fabe (patch) | |
| tree | f64805cc305349a2430cae837355e7ef6ee7546c /runtime/queries/lean/injections.scm | |
| parent | 79d3d44c3db48365597eefd274e868bc1e15de57 (diff) | |
make underline_style a seperate option
Underline styles are mutally exclusive and overwrite each other.
Therefore implementing as an modifier lead to incorrect behaviour
when the underline style is overwritten.
For backwards compatability the "underline" modified is retained (but
deprecated). Instead the "underline_style" and "underline_color"
optios should be used to style underlines.
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions