// Zed settings // // For information on how to configure Zed, see the Zed // documentation: https://zed.dev/docs/configuring-zed // // To see all of Zed's default settings without changing your // custom settings, run `zed: open default settings` from the // command palette (cmd-shift-p / ctrl-shift-p) { "ui_font_size": 15.0, "buffer_font_weight": 400.0, "drag_and_drop_selection": { "delay": 0, "enabled": true, }, "terminal": { "font_family": ".ZedMono", "detect_venv": "off", "font_size": 14, }, "title_bar": { "show_sign_in": false, }, "git_panel": { "default_width": 280.0, }, "outline_panel": { "default_width": 280.0, }, "notification_panel": { "dock": "right", }, "debugger": { "dock": "bottom", }, "edit_predictions": { "mode": "subtle", "copilot": { "proxy": null, "proxy_no_verify": null, }, "enabled_in_text_threads": false, }, "telemetry": { "diagnostics": false, "metrics": false, }, "base_keymap": "VSCode", "buffer_font_family": "Iosevka Terminal Wide", "buffer_font_size": 14, "buffer_line_height": "comfortable", "project_panel": { "default_width": 280.0, "scrollbar": { "show": "never", } }, "tab_size": 4, "format_on_save": "off", "remove_trailing_whitespace_on_save": false, "ensure_final_newline_on_save": false, // "preferred_line_length": 80, "soft_wrap": "editor_width", "git": { "inline_blame": { "enabled": false, }, }, "collaboration_panel": { "button": false, }, "agent": { "enabled": false, }, "features": { // "copilot": false, "edit_prediction_provider": "none", }, // "vim_mode": true, "languages": { "Haskell": { "tab_size": 2, }, }, ////// LSP config ////// "lsp": { "texlab": { "settings": { "texlab": { "build": { "onSave": true, "forwardSearchAfter": false, }, }, }, }, "clangd": { "binary": { "ignore_system_version": true, "path": "/opt/homebrew/opt/llvm/bin/clangd", "arguments": [], }, }, }, "file_types": { "Cython": ["sage"], }, }