diff options
author | Patrick Simianer <pks@pks.rocks> | 2019-09-03 22:38:01 +0200 |
---|---|---|
committer | Patrick Simianer <pks@pks.rocks> | 2019-09-03 22:38:01 +0200 |
commit | 78392d9c0108522fd40dc318ea5adb9c11be79b0 (patch) | |
tree | 51f75fa897b11fa4213715f4c70e8798958d1e49 | |
parent | 3b3ba309b5dad5afc7d86f50eb7f57fa9cc668b8 (diff) |
gtk: better font
-rw-r--r-- | by_os/Linux/gtk/.config/gtk-3.0/settings.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/by_os/Linux/gtk/.config/gtk-3.0/settings.ini b/by_os/Linux/gtk/.config/gtk-3.0/settings.ini index fdac883..7dd3056 100644 --- a/by_os/Linux/gtk/.config/gtk-3.0/settings.ini +++ b/by_os/Linux/gtk/.config/gtk-3.0/settings.ini @@ -1,7 +1,7 @@ [Settings] gtk-theme-name=backwater-dim gtk-icon-theme-name=HighContrast -gtk-font-name=IBM Plex Sans Light 9 +gtk-font-name=IBM Plex Mono Thin 9 gtk-cursor-theme-name=Adwaita gtk-cursor-theme-size=0 gtk-toolbar-style=GTK_TOOLBAR_ICONS |