nixpkgs/pkgs/desktops/gnome-3/extensions
2019-05-03 04:34:43 +02:00
..
appindicator gnomeExtensions.appindicator: 23.1 -> 28 2019-04-09 23:52:26 -04:00
battery-status gnomeExtensions.battery-status: mark as broken 2019-04-05 12:14:11 +02:00
caffeine gnomeExtensions.caffeine: 2018-09-25 -> 2019-04-02 2019-04-05 12:14:11 +02:00
chrome-gnome-shell chrome-gnome-shell: 10 -> 10.1 2019-04-05 12:13:32 +02:00
clipboard-indicator gnomeExtensions.clipboard-indicator: init at 30 2018-02-02 00:26:49 +01:00
dash-to-dock gnomeExtensions.dash-to-dock: 65 -> 66 2019-04-05 12:14:00 +02:00
dash-to-panel gnomeExtensions.dash-to-panel: 16 -> 19 2019-04-05 12:13:37 +02:00
gsconnect gnomeExtensions.gsconnect: 21 → 23 2019-05-03 04:34:43 +02:00
icon-hider gnomeExtensions.icon-hider: 21 -> 23 2019-04-21 20:39:34 -04:00
mediaplayer gnomeExtensions.mediaplayer: 3.5 -> 2019-03-21 2019-04-05 12:14:12 +02:00
no-title-bar gnomeExtensions.no-title-bar: mark as broken 2019-04-05 12:14:12 +02:00
nohotcorner gnomeExtensions.nohotcorner: 18.0 -> 19.0 2019-04-05 12:14:01 +02:00
remove-dropdown-arrows gnomeExtensions.remove-dropdown-arrows: 9 -> 11 2019-04-05 12:13:38 +02:00
sound-output-device-chooser gnomeExtensions.sound-output-device-chooser: unstable-2019-03-10 → unstable-2019-04-01 2019-04-17 21:10:32 +02:00
system-monitor gnomeExtensions.system-monitor: mark as broken 2019-04-05 12:14:13 +02:00
taskwhisperer gnomeExtensions.taskwhisperer: 11 -> 12 2019-04-05 12:14:14 +02:00
tilingnome tilingnome: init at 2019-01-18 (#58980) 2019-04-05 17:01:52 -04:00
timepp gnomeExtensions.timepp: 2019.03.17 -> 2019-03-30 2019-04-05 12:14:13 +02:00
topicons-plus gnomeExtensions.topicons-plus: 21 -> 22 2018-12-12 14:39:50 +01:00
window-corner-preview gnomeExtensions.window-corner-preview: unstable-2019-02-27 → unstable-2019-04-03 2019-04-17 21:10:32 +02:00
impatience.nix gnomeExtensions.impatience: Fix the version number 2018-03-07 19:57:55 +01:00
volume-mixer.nix treewide: use glib tools from build-time $PATH 2018-08-30 19:47:41 +02:00
workspace-grid.nix workspace-grid gnome-shell extension: init 2016-04-15 16:19:43 -04:00