[shared] Updated Zed config, changed user config to just username

This commit is contained in:
2025-04-18 19:49:14 +02:00
parent 31c25681c5
commit e97dd6f5ce
6 changed files with 13 additions and 16 deletions

View File

@ -27,17 +27,17 @@
version = "2";
};
autosave = "on_focus_change";
auto_update = false;
base_keymap = "JetBrains";
buffer_font_family = font;
features = {
edit_completion_provider = "zed";
};
icon_theme = "Catppuccin Mocha";
# icon_theme = { TODO replace icon theme above with below
# mode = theme.mode;
# light = "Catppuccin Mocha";
# dark = "Catppuccin Mocha";
# };
icon_theme = {
mode = theme.mode;
light = "Catppuccin Latte";
dark = "Catppuccin Mocha";
};
ui_font_family = font;
ui_font_size = fontSize;
buffer_font_size = fontSize;