{ 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;
 };

}