diff options
| author | cor | 2022-12-23 14:03:54 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-23 14:03:54 +0000 |
| commit | b1ca7ddf89c048a8da0d6cfe507ac3344e6f625f (patch) | |
| tree | e1a52f9842c6ddb244b550691f635f5c7821ef24 /.ignore | |
| parent | df1830ef28a7cb49abe31a18e4bd1bcfc7eb802a (diff) | |
Use curl underlines in the rose_pine theme (#5267)
Also fixes the color "gold" being used for too many kinds of diagnostics, now there's a more conventional choice of diagnostics colors (redish = error, yellowish = warning, blueish = hint).
Diffstat (limited to '.ignore')
0 files changed, 0 insertions, 0 deletions