Unnamed repository; edit this file 'description' to name the repository.
Underline diagnostics in bogster theme (#1399)
Martin Junghanns 2022-01-02
parent 0dab6c8 · commit aaa42e1
-rw-r--r--runtime/themes/bogster.toml3
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"] }