Underline diagnostics in bogster theme (#1399)
commitaaa42e1a69e4bf88e6761e51085957201295ca52
authorMartin Junghanns <m.junghanns@mailbox.org>
dateSun 2 Jan 2022, 05:45 (5 years ago)
parent0dab6c8
runtime/themes/bogster.toml+3
@@ -53,3 +53,6 @@
5353"error" = "#dc597f"
5454"info" = "#59dcb7"
5555"hint" = "#59c0dc"
56+
57+# make diagnostic underlined, to distinguish with selection text.
58+diagnostic = { modifiers = ["underlined"] }