2023-06-13 07:54:40 +00:00
|
|
|
// Zed settings
|
2022-07-12 21:19:32 +00:00
|
|
|
//
|
2023-06-13 07:54:40 +00:00
|
|
|
// For information on how to configure Zed, see the Zed
|
|
|
|
|
// documentation: https://zed.dev/docs/configuring-zed
|
2022-07-12 21:19:32 +00:00
|
|
|
//
|
|
|
|
|
// To see all of Zed's default settings without changing your
|
|
|
|
|
// custom settings, run the `open default settings` command
|
|
|
|
|
// from the command palette or from `Zed` application menu.
|
2022-07-14 00:05:36 +00:00
|
|
|
{
|
2023-11-21 15:43:18 +00:00
|
|
|
"ui_font_size": 16,
|
2024-06-28 04:06:22 +00:00
|
|
|
"buffer_font_size": 16,
|
|
|
|
|
"theme": {
|
|
|
|
|
"mode": "system",
|
|
|
|
|
"light": "One Light",
|
|
|
|
|
"dark": "One Dark",
|
|
|
|
|
},
|
2022-07-14 00:05:36 +00:00
|
|
|
}
|
