/pkgs/desktops/gnome-3/extensions/

• ../
• appindicator
• battery-status
• caffeine
• chrome-gnome-shell
• clipboard-indicator
• dash-to-dock
• dash-to-panel
• gsconnect
• icon-hider
• impatience.nix
• mediaplayer
• no-title-bar
• nohotcorner
• pidgin-im-integration
• remove-dropdown-arrows
• sound-output-device-chooser
• system-monitor
• taskwhisperer
• tilingnome
• timepp
• topicons-plus
• volume-mixer.nix
• window-corner-preview
• workspace-grid.nix