Updated config
This commit is contained in:
parent
201ef6fd3b
commit
f0f26f7b6b
@ -1,19 +1,15 @@
|
|||||||
{
|
{
|
||||||
"assistant": {
|
|
||||||
"enabled": false,
|
|
||||||
"version": "2"
|
|
||||||
},
|
|
||||||
"buffer_font_family": "UbuntuMono Nerd Font",
|
"buffer_font_family": "UbuntuMono Nerd Font",
|
||||||
"buffer_font_size": 17,
|
"buffer_font_size": 17,
|
||||||
"buffer_line_height": "standard",
|
"buffer_line_height": "standard",
|
||||||
"chat_panel": {
|
|
||||||
"button": false
|
|
||||||
},
|
|
||||||
"collaboration_panel": {
|
|
||||||
"button": false
|
|
||||||
},
|
|
||||||
"current_line_highlight": "none",
|
"current_line_highlight": "none",
|
||||||
"ensure_final_newline_on_save": false,
|
"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": {
|
"features": {
|
||||||
"inline_completion_provider": "none"
|
"inline_completion_provider": "none"
|
||||||
},
|
},
|
||||||
@ -28,22 +24,13 @@
|
|||||||
"line_numbers": false,
|
"line_numbers": false,
|
||||||
"runnables": false
|
"runnables": false
|
||||||
},
|
},
|
||||||
"hard_tabs": true,
|
|
||||||
"indent_guides": {
|
"indent_guides": {
|
||||||
"enabled": false
|
"enabled": false
|
||||||
},
|
},
|
||||||
"notification_panel": {
|
|
||||||
"button": false
|
|
||||||
},
|
|
||||||
"scroll_beyond_last_line": "off",
|
|
||||||
"show_wrap_guides": false,
|
|
||||||
"tab_size": 4,
|
|
||||||
"terminal": {
|
"terminal": {
|
||||||
"button": false,
|
// "button": false,
|
||||||
"line_height": "standard"
|
"line_height": "standard"
|
||||||
},
|
},
|
||||||
"ui_font_family": "Ubuntu Nerd Font",
|
|
||||||
"ui_font_size": 16,
|
|
||||||
"theme": {
|
"theme": {
|
||||||
"mode": "dark",
|
"mode": "dark",
|
||||||
"light": "Zedokai Darker Classic",
|
"light": "Zedokai Darker Classic",
|
||||||
|
Loading…
x
Reference in New Issue
Block a user