nixpkgs/pkgs/desktops/gnome-3/extensions
2018-04-03 18:13:25 +02:00
..
appindicator gnomeExtensions.appindicator: init at v22 2018-02-16 12:36:30 +01:00
battery-status gnomeExtensions.battery-status: init at v6 2018-02-19 13:41:11 -05:00
caffeine
chrome-gnome-shell chrome-gnome-shell: 9 → 10 2018-03-05 04:50:48 +01:00
clipboard-indicator gnomeExtensions.clipboard-indicator: init at 30 2018-02-02 00:26:49 +01:00
dash-to-dock gnomeExtensions.dash-to-dock: 62 → 63 2018-04-03 18:13:25 +02:00
dash-to-panel
icon-hider gnomeExtensions.icon-hider: init at 19 2018-02-02 00:16:11 +01:00
mediaplayer
no-title-bar gnomeExtensions.no-title-bar: init at 8 2018-02-23 06:56:56 +01:00
nohotcorner gnome-shell-extension-nohotcorner: init at 16.0 2018-01-23 00:48:27 -05:00
remove-dropdown-arrows gnomeExtensions.remove-dropdown-arrows: init at 9 2018-02-14 02:36:07 +01:00
system-monitor gnomeExtensions.system-monitor: do not need global sessionPath modification 2018-03-11 21:55:21 +01:00
taskwhisperer gnomeExtensions.taskwhisperer: init at v11 2018-02-19 10:55:36 -05:00
timepp gnomeExtensions.timepp: init at 2018.03.17 2018-03-18 11:28:48 +02:00
topicons-plus
impatience.nix gnomeExtensions.impatience: Fix the version number 2018-03-07 19:57:55 +01:00
volume-mixer.nix
workspace-grid.nix