From 2922224e4fd1d0d6f2445c9d4912789d70bb58bb Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Sat, 7 Dec 2024 13:02:23 +0100 Subject: [PATCH] gnu: Remove gnome-shell-extension-hide-app-icon. * gnu/packages/gnome-xyz.scm (gnome-shell-extension-hide-app-icon): Delete variable. Reviewed-by: Maxim Cournoyer --- gnu/packages/gnome-xyz.scm | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm index 89943ba1361f07ab5dc60de635d20031345ffb46..92d8b7cb03db2b8af0be61f57f4e726d2e6ff478 100644 --- a/gnu/packages/gnome-xyz.scm +++ b/gnu/packages/gnome-xyz.scm @@ -867,10 +867,6 @@ GNOME Shell itself does not provide out of the box, such as the ability to hide certain elements or change animation speeds.") (license license:gpl3))) -(define-public gnome-shell-extension-hide-app-icon - (deprecated-package "gnome-shell-extension-hide-app-icon" - gnome-shell-extension-just-perfection)) - (define-public gnome-shell-extension-dash-to-panel (package (name "gnome-shell-extension-dash-to-panel")