diff options
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 |