diff options
| author | Martin Junghanns | 2022-01-02 04:45:22 +0000 |
|---|---|---|
| committer | GitHub | 2022-01-02 04:45:22 +0000 |
| commit | aaa42e1a69e4bf88e6761e51085957201295ca52 (patch) | |
| tree | 2cf741836cb7a8d6410172f5590873cc6a7074db /runtime/themes | |
| parent | 0dab6c8c17c027092e117a48f60feb099cd8d59c (diff) | |
Underline diagnostics in bogster theme (#1399)
Diffstat (limited to 'runtime/themes')
| -rw-r--r-- | runtime/themes/bogster.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/themes/bogster.toml b/runtime/themes/bogster.toml index ea6844f2..493e5ace 100644 --- a/runtime/themes/bogster.toml +++ b/runtime/themes/bogster.toml @@ -53,3 +53,6 @@ "error" = "#dc597f" "info" = "#59dcb7" "hint" = "#59c0dc" + +# make diagnostic underlined, to distinguish with selection text. +diagnostic = { modifiers = ["underlined"] } |