···

       
81
       
81
       
 
       
      arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14

     

       
82
       
82
       
 
       
      disable-unredirect = gnomeExtensions.disable-unredirect-fullscreen-windows; # added 2021-11-20

     

       
83
       
83
       
 
       


     

       
84
       
84
       
+
       
      icon-hider = throw "gnomeExtensions.icon-hider was removed on 2024-03-15. The extension has not received any updates since 2020/3.34.";

     

       
84
       
85
       
 
       
      nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";

     

       
85
       
86
       
 
       
      mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";

     

       
86
       
87
       
 
       
      remove-dropdown-arrows = throw "gnomeExtensions.remove-dropdown-arrows removed since 2021-05-25: The extensions has not seen an update sine GNOME 3.34. Furthermore, the functionality it provides is obsolete as of GNOME 40.";

     

···

       
6
       
6
       
 
       
  "drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { };

     

       
7
       
7
       
 
       
  "EasyScreenCast@iacopodeenosee.gmail.com" = callPackage ./EasyScreenCast { };

     

       
8
       
8
       
 
       
  "gsconnect@andyholmes.github.io" = callPackage ./gsconnect { };

     

       
9
       
9
       
-
       
  "icon-hider@kalnitsky.org" = callPackage ./icon-hider { };

     

       
10
       
9
       
 
       
  "impatience@gfxmonk.net" = callPackage ./impatience { };

     

       
11
       
10
       
 
       
  "no-title-bar@jonaspoehler.de" = callPackage ./no-title-bar { };

     

       
12
       
11
       
 
       
  "pidgin@muffinmad" = callPackage ./pidgin-im-integration { };