diff options
| author | Jon Banafato <jon@jonafato.com> | 2018-02-13 16:51:27 -0500 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2018-02-14 02:36:07 +0100 |
| commit | 14b3b04c22c6bcc2b90a0cedbec156adacfe97dc (patch) | |
| tree | 8ae761ee0229e90087e18ac6afc5d46fa28ad210 /pkgs/top-level | |
| parent | 44695e7045f9785c988ec8436b5806c753ed3bc2 (diff) | |
| download | nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar.gz nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar.bz2 nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar.lz nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar.xz nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.tar.zst nixlib-14b3b04c22c6bcc2b90a0cedbec156adacfe97dc.zip | |
gnomeExtensions.remove-dropdown-arrows: init at 9
Add the Remove Dropdown Arrows GNOME Shell extension.
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cd66f2c90489..5af8afc6bf97 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19008,6 +19008,7 @@ with pkgs; mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { }; nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { }; pixel-saver = callPackage ../desktops/gnome-3/extensions/pixel-saver { }; + remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { }; topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { }; }; |