diff options
author | Nguyễn Gia Phong <vn.mcsinyx@gmail.com> | 2019-12-06 20:11:00 +0700 |
---|---|---|
committer | Nguyễn Gia Phong <vn.mcsinyx@gmail.com> | 2019-12-06 20:11:00 +0700 |
commit | 7a99a87b87ba2e6ab006032eb1687d61d01d9c58 (patch) | |
tree | 21cda208ad8e92448943a0efabb7672a68cc3f21 /debian/.config/gtk-3.0/settings.ini | |
parent | 4aeb2084faf18d7eb31d442651086504d87576e9 (diff) | |
download | dotfiles-7a99a87b87ba2e6ab006032eb1687d61d01d9c58.tar.gz |
Update 2019-12-06
Diffstat (limited to 'debian/.config/gtk-3.0/settings.ini')
-rw-r--r-- | debian/.config/gtk-3.0/settings.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/.config/gtk-3.0/settings.ini b/debian/.config/gtk-3.0/settings.ini index 4635233..8a630a8 100644 --- a/debian/.config/gtk-3.0/settings.ini +++ b/debian/.config/gtk-3.0/settings.ini @@ -1,4 +1,4 @@ [Settings] -gtk-font-name = Latin Modern Sans 11 +gtk-font-name = Latin Modern Sans 12 gtk-application-prefer-dark-theme = true gtk-key-theme-name = Emacs |