nixpkgs/pkgs/desktops/gnome-3/extensions
2019-03-04 00:27:55 +01:00
..
appindicator
battery-status
caffeine
chrome-gnome-shell
clipboard-indicator
dash-to-dock
dash-to-panel
gsconnect
icon-hider
mediaplayer
no-title-bar
nohotcorner
remove-dropdown-arrows
sound-output-device-chooser gnomeExtensions.sound-output-device-chooser: init at unstable-2018-12-30 2019-03-04 00:27:55 +01:00
system-monitor
taskwhisperer
timepp
topicons-plus
window-corner-preview
impatience.nix
volume-mixer.nix
workspace-grid.nix