From 4da66a7cf971f5526bfe60220e45a160f386a346 Mon Sep 17 00:00:00 2001
From: Jon Banafato <jon@jonafato.com>
Date: Thu, 22 Feb 2018 23:40:01 -0500
Subject: [PATCH] gnomeExtensions.pixel-saver: remove

This extension is being replaced by gnomeExtensions.no-title-bar in #35281.
---
 .../extensions/pixel-saver/default.nix        | 28 -------------------
 pkgs/top-level/all-packages.nix               |  1 -
 2 files changed, 29 deletions(-)
 delete mode 100644 pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix

diff --git a/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix b/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix
deleted file mode 100644
index ccc3fd578e94..000000000000
--- a/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix
+++ /dev/null
@@ -1,28 +0,0 @@
-{ stdenv, fetchFromGitHub }:
-
-stdenv.mkDerivation rec {
-  name = "gnome-shell-extension-pixel-saver-${version}";
-  version = "1.10";
-
-  src = fetchFromGitHub {
-    owner = "deadalnix";
-    repo = "pixel-saver";
-    rev = version;
-    sha256 = "040ayzhpv9jq49vp32w85wvjs57047faa7872qm4brii450iy7v4";
-  };
-
-  uuid = "pixel-saver@deadalnix.me";
-
-  installPhase = ''
-    mkdir -p $out/share/gnome-shell/extensions
-    cp -r ${uuid} $out/share/gnome-shell/extensions
-  '';
-
-  meta = with stdenv.lib; {
-    description = "Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way";
-    license = licenses.mit;
-    maintainers = with maintainers; [ jonafato ];
-    platforms = platforms.linux;
-    homepage = https://github.com/deadalnix/pixel-saver;
-  };
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index ef4fb974f99e..dcbdff9b534b 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -19191,7 +19191,6 @@ with pkgs;
     mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
     nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { };
     no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { };
-    pixel-saver = callPackage ../desktops/gnome-3/extensions/pixel-saver { };
     remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { };
     taskwhisperer = callPackage ../desktops/gnome-3/extensions/taskwhisperer { };
     topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };