catchup with main

2023-10-16 09:47:07 -04:00
parent 391179657c cc335db9e0
commit d2e769027a
202 changed files with 5219 additions and 11621 deletions
@@ -206,9 +206,13 @@ export default function editor(): any {
                match_highlight: foreground(theme.middle, "accent", "active"),
                background: background(theme.middle, "active"),
            },
-            server_name_container: { padding: { left: 40 } },
-            server_name_color: text(theme.middle, "sans", "disabled", {}).color,
-            server_name_size_percent: 0.75,
+            completion_min_width: 300,
+            completion_max_width: 700,
+            inline_docs_container: { padding: { left: 40 } },
+            inline_docs_color: text(theme.middle, "sans", "disabled", {}).color,
+            inline_docs_size_percent: 0.75,
+            alongside_docs_max_width: 700,
+            alongside_docs_container: { padding: autocomplete_item.padding }
        },
        diagnostic_header: {
            background: background(theme.middle),