settings.json (2437B)
1 { 2 // Keybindings 3 "base_keymap": "None", 4 "vim_mode": true, 5 6 // Editor 7 "hard_tabs": true, 8 "tab_size": 4, 9 "use_autoclose": false, 10 "cursor_blink": false, 11 "vertical_scroll_margin": 3, 12 "search": { "regex": true }, 13 "gutter": { "folds": false }, 14 "wrap_guides": [80, 120, 160], 15 "relative_line_numbers": "enabled", 16 "preferred_line_length": 160, // This only affects soft wrap. 17 "show_completions_on_input": false, 18 19 // UI 20 "tabs": { "show_close_button": "hidden" }, // I don't want to accidentally close tabs. 21 "git_panel": { "dock": "right" }, 22 "outline_panel": { "dock": "right" }, 23 "project_panel": { "auto_reveal_entries": false }, 24 25 // Style 26 "ui_font_size": 15, 27 "buffer_font_size": 15, 28 // Zed font features currently don't work on Linux, so we use a variant of 29 // JuliaMono with ligatures hard-coded off, created with 30 // https://mutsuntsai.github.io/fontfreeze. 31 "buffer_font_family": "JuliaMono Freeze", 32 "theme": { 33 "mode": "system", 34 "light": "KTRZ Monokai", 35 "dark": "KTRZ Monokai" 36 }, 37 "experimental.theme_overrides": { 38 "syntax": { 39 "boolean": { "color": "#00cc55" }, 40 "comment": { "color": "#808080", "font_style": "italic" }, 41 "constructor": { "color": "#00cc55" }, 42 "function": { "color": "#d7d7d7" }, 43 "property": { "color": "#d7d7d7" }, 44 "punctuation.bracket": { "color": "#a7a7a7" }, 45 "punctuation.delimiter": { "color": "#a7a7a7" }, 46 "title": { "color": "#d7d7d7" }, 47 "variable": { "color": "#d7d7d7" } 48 } 49 }, 50 51 // LSP 52 "lsp": { 53 "hls": { 54 "initialization_options": { 55 "haskell": { "formattingProvider": "fourmolu" } 56 } 57 } 58 }, 59 "languages": { 60 "CSS": { 61 "formatter": "prettier", 62 "prettier": { "allowed": false } 63 }, 64 "Haskell": { 65 "hard_tabs": false, 66 "formatter": { 67 "external": { 68 "command": "fourmolu", 69 "arguments": ["--haddock-style=single-line", "--newlines-between-decls=0", "--stdin-input-file={buffer_path}", "--in-style=no-space"] 70 } 71 } 72 }, 73 "HTML": { 74 "formatter": "prettier", 75 "prettier": { "allowed": false } 76 }, 77 "JavaScript": { 78 "formatter": "prettier", 79 "prettier": { "allowed": false } 80 } 81 }, 82 83 // Disable some crap 84 "disable_ai": true, 85 "features": { "edit_prediction_provider": "none" }, 86 "collaboration_panel": { "button": false }, 87 "tab_bar": { 88 "show_nav_history_buttons": false, 89 "show_tab_bar_buttons": false 90 }, 91 "terminal": { "button": false }, 92 "telemetry": { 93 "diagnostics": false, 94 "metrics": false 95 } 96 }