diff --git a/modules/nixos/workflows/a-happy-gnome/config/dconf/10-desktop.conf b/modules/nixos/workflows/a-happy-gnome/config/dconf/10-desktop.conf
index b4106709..ec20f146 100644
--- a/modules/nixos/workflows/a-happy-gnome/config/dconf/10-desktop.conf
+++ b/modules/nixos/workflows/a-happy-gnome/config/dconf/10-desktop.conf
@@ -5,6 +5,9 @@ enable-hot-corners = false
 show-battery-percentage = true
 color-scheme = 'prefer-dark'
 
+[org/gnome/shell/app-switcher]
+current-workspace-only = true
+
 # Input sources that are expected to be installed in the theme.
 [org/gnome/desktop/input-sources/sources]
 sources = [ ('xkb', 'us'), ('ibus', 'mozc-jp'), ('ibus', 'rime'), ('ibus', 'hangul'), ('ibus', 'table:mathwriter-ibus') ]
diff --git a/modules/nixos/workflows/a-happy-gnome/default.nix b/modules/nixos/workflows/a-happy-gnome/default.nix
index 5cee3382..8a0275c3 100644
--- a/modules/nixos/workflows/a-happy-gnome/default.nix
+++ b/modules/nixos/workflows/a-happy-gnome/default.nix
@@ -115,6 +115,7 @@ in
       # Setting up split DNS with systemd-resolved. The domains should already
       # be configured somewhere else.
       services.resolved.enable = true;
+      networking.networkmanager.dns = "systemd-resolved";
 
       # Since we're using KDE Connect, we'll have to use gsconnect.
       programs.kdeconnect = {