@@ -682,42 +682,6 @@ (define-public gnome-shell-extension-customize-ibus
behavior, system tray and input source indicator for IBus.")
(license license:gpl3+)))
-(define-public gnome-shell-extension-topicons-redux
- (package
- (name "gnome-shell-extension-topicons-redux")
- (version "6")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://gitlab.com/pop-planet/TopIcons-Redux.git")
- (commit version)))
- (file-name (git-file-name name version))
- (sha256
- (base32 "1dli9xb545n3xlj6q4wl0y5gzkm903zs47p8fiq71pdvbr6v38rj"))))
- (build-system gnu-build-system)
- (native-inputs
- (list `(,glib "bin")))
- (arguments
- (list
- #:tests? #f ;no test defined in the project
- #:make-flags
- #~(list (string-append "INSTALL_PATH=" #$output
- "/share/gnome-shell/extensions"))
- #:phases
- #~(modify-phases %standard-phases
- (delete 'configure)
- (delete 'build))))
- (home-page "https://gitlab.com/pop-planet/TopIcons-Redux")
- (synopsis "Display legacy tray icons in the GNOME Shell top panel")
- (description "Many applications, such as chat clients, downloaders, and
-some media players, are meant to run long-term in the background even after you
-close their window. These applications remain accessible by adding an icon to
-the GNOME Shell Legacy Tray. However, the Legacy Tray was removed in GNOME
-3.26. TopIcons Redux brings those icons back into the top panel so that it's
-easier to keep track of applications running in the background.")
- (license license:gpl2+)))
-
(define-public gnome-shell-extension-dash-to-dock
(package
(name "gnome-shell-extension-dash-to-dock")