fix: change borders to rounded

2025-05-02 23:29:12 +02:00
parent 2339658a83
commit 7de0efdc5e
4 changed files with 8 additions and 14 deletions
@@ -141,7 +141,7 @@ local function setup_diagnostics()
        float = {
            show_header = false,
            source = true,
-            border = "single",
+            border = "rounded",
            focusable = false,
            format = function(diagnostic)
                return string.format("%s", diagnostic.message)