{ pkgs, ... }: { home.packages = [ pkgs.gnomeExtensions.pip-on-top ]; dconf.settings = { "org/gnome/shell" = { disable-user-extensions = false; enabled-extensions = [ pkgs.gnomeExtensions.pip-on-top.extensionUuid ]; }; "org/gnome/shell/extensions/pip-on-top".stick = true; }; }