@@ -103,10 +103,10 @@
103"ui.menu" = { fg = "overlay2", bg = "surface0" }
103"ui.menu" = { fg = "overlay2", bg = "surface0" }
104"ui.menu.selected" = { fg = "text", bg = "surface1", modifiers = ["bold"] }
104"ui.menu.selected" = { fg = "text", bg = "surface1", modifiers = ["bold"] }
106−"diagnostic.error" = { fg = "red", underline = { color = "red", style = "curl" } }
106+"diagnostic.error" = { underline = { color = "red", style = "curl" } }
107−"diagnostic.warning" = { fg = "yellow", underline = { color = "yellow", style = "curl" } }
107+"diagnostic.warning" = { underline = { color = "yellow", style = "curl" } }
108−"diagnostic.info" = { fg = "sky", underline = { color = "sky", style = "curl" } }
108+"diagnostic.info" = { underline = { color = "sky", style = "curl" } }
109−"diagnostic.hint" = { fg = "teal", underline = { color = "teal", style = "curl" } }
109+"diagnostic.hint" = { underline = { color = "teal", style = "curl" } }
111error = "red"
111error = "red"
112warning = "yellow"
112warning = "yellow"