diff --git a/zed_settings.jsonc b/zed_settings.jsonc index cf25d67..461d2f7 100644 --- a/zed_settings.jsonc +++ b/zed_settings.jsonc @@ -27,10 +27,6 @@ // "ui_font_size": 14, // "buffer_font_size": 13, - "telemetry": { - "diagnostics": true, - "metrics": false, - }, "icon_theme": "Colored Zed Icons Theme Dark", "theme": { "mode": "system", @@ -39,9 +35,21 @@ }, "restore_on_startup": "last_workspace", "soft_wrap": "preferred_line_length", + + // Move some panels. "outline_panel": { "dock": "right", }, + "debugger": { + "dock": "left", + "button": true, + }, + + // Remove telemetry. + "telemetry": { + "diagnostics": true, + "metrics": false, + }, // Remove AI Crap "features": { @@ -94,7 +102,7 @@ "language_server": { "name": "ruff" }, }, ], - "language_servers": ["ruff", "pyright"], + "language_servers": ["!pylsp", "pyright", "!ruff"], "show_wrap_guides": true, "preferred_line_length": 80, "soft_wrap": "none", @@ -120,8 +128,18 @@ }, }, - "debugger": { - "dock": "left", - "button": true, + "lsp": { + "pylsp": { + "settings": { + "plugins": { + "mypy": { + "enabled": true, + }, + "pycodestyle": { + "enabled": false, + }, + }, + }, + }, }, }