From f0f26f7b6b5ba2e6fdd2b52cf31a007de8ac5b55 Mon Sep 17 00:00:00 2001 From: Eduard Urbach Date: Tue, 21 Jan 2025 09:55:39 +0100 Subject: [PATCH] Updated config --- .config/zed/settings.json | 27 +++++++-------------------- 1 file changed, 7 insertions(+), 20 deletions(-) diff --git a/.config/zed/settings.json b/.config/zed/settings.json index d1a4dac..f94ce3e 100644 --- a/.config/zed/settings.json +++ b/.config/zed/settings.json @@ -1,19 +1,15 @@ { - "assistant": { - "enabled": false, - "version": "2" - }, "buffer_font_family": "UbuntuMono Nerd Font", "buffer_font_size": 17, "buffer_line_height": "standard", - "chat_panel": { - "button": false - }, - "collaboration_panel": { - "button": false - }, "current_line_highlight": "none", "ensure_final_newline_on_save": false, + "hard_tabs": true, + "scroll_beyond_last_line": "off", + "show_wrap_guides": false, + "tab_size": 4, + "ui_font_family": "Ubuntu Nerd Font", + "ui_font_size": 16, "features": { "inline_completion_provider": "none" }, @@ -28,22 +24,13 @@ "line_numbers": false, "runnables": false }, - "hard_tabs": true, "indent_guides": { "enabled": false }, - "notification_panel": { - "button": false - }, - "scroll_beyond_last_line": "off", - "show_wrap_guides": false, - "tab_size": 4, "terminal": { - "button": false, + // "button": false, "line_height": "standard" }, - "ui_font_family": "Ubuntu Nerd Font", - "ui_font_size": 16, "theme": { "mode": "dark", "light": "Zedokai Darker Classic",