// 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) { "drag_and_drop_selection": { "delay": 0, "enabled": true }, "terminal": { "font_family": ".ZedMono", "detect_venv": "off", "font_size": 14 }, "show_wrap_guides": true, "title_bar": { "show_sign_in": false }, "git_panel": { "default_width": 320.0 }, "outline_panel": { "default_width": 320.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_features": { "calt": false, "NWID": true }, "ui_font_size": 14, "buffer_font_family": "Iosevka Terminal Wide", "buffer_font_size": 14, "buffer_line_height": "comfortable", "project_panel": { "default_width": 320.0, "scrollbar": { "show": "never" }, "entry_spacing": "standard" }, "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"] } }