nixpkgs-suyu/pkgs/desktops/gnome-3/extensions
Jon Banafato d2e518c4c5
gnomeExtensions.icon-hider: init at 19
Add the Icon Hider GNOME Shell extension.
2018-02-02 00:16:11 +01:00
..
caffeine
chrome-gnome-shell firefox: add option for chrome-gnome-shell native messaging host 2018-01-13 15:22:52 +01:00
dash-to-dock gnomeExtensions.dash-to-dock: 60 -> 61 2017-11-26 03:10:55 +01:00
dash-to-panel dash-to-panel: init at v11 2017-12-29 20:23:08 +01:00
icon-hider gnomeExtensions.icon-hider: init at 19 2018-02-02 00:16:11 +01:00
mediaplayer gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
nohotcorner gnome-shell-extension-nohotcorner: init at 16.0 2018-01-23 00:48:27 -05:00
pixel-saver gnome-shell-extension-pixel-saver: init at 1.10 2018-01-23 21:17:19 -05:00
topicons-plus gnomeExtensions.topicons-plus: 20 -> 21 2017-11-26 03:10:56 +01:00
impatience.nix
system-monitor.nix
volume-mixer.nix
workspace-grid.nix