1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
// 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)
{
"vim_mode": true,
"ui_font_size": 18,
"buffer_font_size": 18,
// I'd rather use DejaVu Sans Mono but the font rendering looks bad (https://github.com/zed-industries/zed/issues/7992).
// "buffer_font_family": "DejaVu Sans Mono",
"theme": {
"mode": "dark",
"dark": "VSCode Dark Modern",
"light": "One Light"
},
"experimental.theme_overrides": {
"players": [
{
"cursor": "#aeafad",
"selection": "#264f78"
}
]
},
"lsp": {
"rust-analyzer": {
"binary": {
"path": "/run/current-system/sw/bin/rust-analyzer"
}
}
},
"auto_install_extensions": {
// TODO: add extension for TODO/FIXME highlighting (https://github.com/zed-industries/extensions/issues/523)
// TODO: add extension for djot highlighting
"html": true,
"nix": true,
"sql": true,
"toml": true,
"typst": true,
"vscode-dark-modern": true
},
"git": {
"inline_blame": { "enabled": false }
},
"telemetry": {
"diagnostics": false,
"metrics": false
},
"features": {
"edit_prediction_provider": "none"
},
"assistant": {
"enabled": false,
"version": "2"
},
// The "Sign in" button in the title bar cannot be hidden :/ (https://github.com/zed-industries/zed/discussions/20146)
"collaboration_panel": {
"button": false
},
"chat_panel": {
"button": false
},
"notification_panel": {
"button": false
}
}
|
