From aaa42e1a69e4bf88e6761e51085957201295ca52 Mon Sep 17 00:00:00 2001
From: Martin Junghanns <m.junghanns@mailbox.org>
Date: Sun, 2 Jan 2022 05:45:22 +0100
Subject: [PATCH] Underline diagnostics in bogster theme (#1399)
---
runtime/themes/bogster.toml | 3 +++
1 file changed, 3 insertions(+)
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"] }