From 193acfa5b7962ac58d57ddc70eb73b84afe73298 Mon Sep 17 00:00:00 2001 From: TrudeEH Date: Tue, 10 Sep 2024 17:43:48 +0100 Subject: [PATCH] New input Source (EN + AltGr) --- settings.dconf | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/settings.dconf b/settings.dconf index 8bcea113..15cb3986 100644 --- a/settings.dconf +++ b/settings.dconf @@ -21,8 +21,8 @@ automatic-timezone=true [org/gnome/desktop/input-sources] current=uint32 0 -mru-sources=[('xkb', 'us'), ('xkb', 'pt')] -sources=[('xkb', 'us'), ('xkb', 'pt')] +mru-sources=[('xkb', 'us+altgr-intl'), ('xkb', 'us+intl')] +sources=[('xkb', 'us+altgr-intl')] xkb-options=@as [] [org/gnome/desktop/interface] @@ -32,6 +32,8 @@ clock-show-weekday=true color-scheme='prefer-dark' cursor-theme='Adwaita' enable-animations=true +font-antialiasing='grayscale' +font-hinting='slight' gtk-theme='adw-gtk3-dark' locate-pointer=false monospace-font-name='JetBrainsMono Nerd Font 11'