Back to slightly bigger font.
This commit is contained in:
parent
c586cfd5f9
commit
80ee8cdae4
2 changed files with 2 additions and 2 deletions
|
@ -18,7 +18,7 @@ c.downloads.position = 'bottom'
|
||||||
c.downloads.remove_finished = 20000
|
c.downloads.remove_finished = 20000
|
||||||
c.downloads.location.directory = os.path.expanduser("~")
|
c.downloads.location.directory = os.path.expanduser("~")
|
||||||
c.fonts.default_family = ["JetBrainsMono Nerd Font Mono"]
|
c.fonts.default_family = ["JetBrainsMono Nerd Font Mono"]
|
||||||
c.fonts.default_size = '10pt'
|
c.fonts.default_size = '12pt'
|
||||||
c.fonts.prompts = 'default_size default_family'
|
c.fonts.prompts = 'default_size default_family'
|
||||||
c.input.insert_mode.auto_load = True
|
c.input.insert_mode.auto_load = True
|
||||||
c.scrolling.smooth = True
|
c.scrolling.smooth = True
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
set font "JetBrainsMono Nerd Font Mono 10"
|
set font "JetBrainsMono Nerd Font Mono 12"
|
||||||
set sandbox none
|
set sandbox none
|
||||||
set statusbar-h-padding 0
|
set statusbar-h-padding 0
|
||||||
set statusbar-v-padding 0
|
set statusbar-v-padding 0
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue