mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-27 08:23:04 +03:00
Update default ui font settings
This commit is contained in:
parent
79c890f31a
commit
6d6aa3b253
@ -43,7 +43,7 @@
|
|||||||
"calt": false
|
"calt": false
|
||||||
},
|
},
|
||||||
// The default font size for text in the UI
|
// The default font size for text in the UI
|
||||||
"ui_font_size": 14,
|
"ui_font_size": 16,
|
||||||
// The factor to grow the active pane by. Defaults to 1.0
|
// The factor to grow the active pane by. Defaults to 1.0
|
||||||
// which gives the same size as all other panes.
|
// which gives the same size as all other panes.
|
||||||
"active_pane_magnification": 1.0,
|
"active_pane_magnification": 1.0,
|
||||||
|
@ -7,5 +7,6 @@
|
|||||||
// custom settings, run the `open default settings` command
|
// custom settings, run the `open default settings` command
|
||||||
// from the command palette or from `Zed` application menu.
|
// from the command palette or from `Zed` application menu.
|
||||||
{
|
{
|
||||||
"buffer_font_size": 15
|
"ui_font_size": 16,
|
||||||
|
"buffer_font_size": 16
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user