57 lines
1.0 KiB
JSON
57 lines
1.0 KiB
JSON
{
|
|
"assistant": {
|
|
"enabled": false,
|
|
"version": "1"
|
|
},
|
|
"buffer_font_family": "UbuntuMono Nerd Font",
|
|
"buffer_font_size": 18,
|
|
"buffer_line_height": "standard",
|
|
"chat_panel": {
|
|
"button": false
|
|
},
|
|
"collaboration_panel": {
|
|
"button": false
|
|
},
|
|
"current_line_highlight": "none",
|
|
"ensure_final_newline_on_save": false,
|
|
"features": {
|
|
"inline_completion_provider": "none"
|
|
},
|
|
"git": {
|
|
"inline_blame": {
|
|
"enabled": false
|
|
}
|
|
},
|
|
"gutter": {
|
|
"code_actions": false,
|
|
"folds": false,
|
|
"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,
|
|
"line_height": "standard"
|
|
},
|
|
"ui_font_family": "Ubuntu Nerd Font",
|
|
"ui_font_size": 16,
|
|
"theme": {
|
|
"mode": "dark",
|
|
"light": "monokai Darker Classic",
|
|
"dark": "monokai Darker Classic"
|
|
},
|
|
"toolbar": {
|
|
"breadcrumbs": false,
|
|
"quick_actions": false
|
|
}
|
|
}
|