Improve some minor configs

This commit is contained in:
Tobias Reisinger 2022-12-20 01:13:24 +01:00
parent 26d81c5c5e
commit 4f5d9a240e
Signed by: serguzim
GPG key ID: 13AD60C237A28DFE
3 changed files with 5 additions and 3 deletions

View file

@ -7,7 +7,7 @@ env:
font: font:
normal: normal:
family: JetBrains Mono NF family: JetBrainsMono Nerd Font
size: 13.0 size: 13.0
window: window:

View file

@ -19,6 +19,8 @@ def init(c):
c.fonts.hints = 'bold 18px default_family' c.fonts.hints = 'bold 18px default_family'
c.session.default_name = 'autosave'
c.tabs.background = True c.tabs.background = True
c.tabs.mousewheel_switching = False c.tabs.mousewheel_switching = False
c.tabs.new_position.related = 'last' c.tabs.new_position.related = 'last'

View file

@ -1,2 +1,2 @@
. /etc/profile . "/etc/profile"
. $HOME/.config/environment . "$HOME/.config/environment"