nixpkgs/pkgs/desktops/gnome-3/extensions
2019-11-30 23:48:23 +01:00
..
appindicator
arc-menu gnomeExtensions.arc-menu: 33.2 -> 33 2019-10-06 13:25:25 -04:00
battery-status
caffeine gnomeExtensions.caffeine: unstable-2019-04-02 -> 33 2019-11-30 23:48:23 +01:00
chrome-gnome-shell
clipboard-indicator gnomeExtensions.clipboard-indicator: mark as broken 2019-10-03 00:09:15 +02:00
dash-to-dock gnomeExtensions.dash-to-dock: 20190921 -> 67 2019-10-08 12:08:51 +02:00
dash-to-panel gnomeExtensions.dash-to-panel: 23 -> 26 2019-11-19 07:46:56 +01:00
drop-down-terminal gjs: move to top-level 2019-11-05 00:47:04 +01:00
gsconnect gjs: move to top-level 2019-11-05 00:47:04 +01:00
icon-hider gnomeExtensions.icon-hider: mark as broken 2019-10-03 00:09:15 +02:00
mpris-indicator-button gnomeExtensions.mpris-indicator-button: init at 2019-09-29 2019-10-05 09:09:46 -04:00
night-theme-switcher gnomeExtensions.night-theme-switcher: init at 2.1 2019-11-03 09:34:10 -05:00
no-title-bar
pidgin-im-integration gnomeExtensions.pidgin-im-integration: mark as broken 2019-10-03 00:09:15 +02:00
remove-dropdown-arrows gnomeExtensions.remove-dropdown-arrows: 11 -> 13 2019-10-03 00:09:15 +02:00
sound-output-device-chooser gnomeExtension.sound-output-device-chooser: 2019-04-01 -> 24 2019-10-03 00:09:16 +02:00
system-monitor Revert "gnomeExtension.system-monitor-applet: mark as broken" 2019-11-18 20:57:55 +01:00
taskwhisperer gnomeExtension.taskwhisperer: mark as broken 2019-10-03 00:09:16 +02:00
tilingnome gnomeExtension.tilingnome: 2019-01-18 -> 2019-09-19 2019-10-03 00:09:16 +02:00
timepp gnomeExtension.timepp: mark as broken 2019-10-03 00:09:16 +02:00
topicons-plus
window-corner-preview
impatience.nix
volume-mixer.nix
workspace-grid.nix