Underline diagnostics in bogster theme (#1399)

pull/1420/head
Martin Junghanns 3 years ago committed by GitHub
parent 0dab6c8c17
commit aaa42e1a69
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -53,3 +53,6 @@
"error" = "#dc597f" "error" = "#dc597f"
"info" = "#59dcb7" "info" = "#59dcb7"
"hint" = "#59c0dc" "hint" = "#59c0dc"
# make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] }

Loading…
Cancel
Save