Package: gnome-shell-extension-autohidetopbar
Version: 20210525-1
Severity: normal
Tags: patch
gnome-tweaks is no longer responsible for Shell extensions management.
Please recommend gnome-extensions-app, in the gnome-shell-extension-prefs
package, instead.
Thanks,
smcv
>From ff83f846850418410ae843adec797b3a5c0c09b6 Mon Sep 17 00:00:00 2001
From: Simon McVittie <[email protected]>
Date: Sun, 12 Sep 2021 10:48:11 +0100
Subject: [PATCH] d/control: Recommend gnome-extensions-app instead of
gnome-tweaks
gnome-tweaks version 40 is no longer responsible for managing Shell
extensions.
---
debian/control | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/control b/debian/control
index 781d300..72e3fc7 100644
--- a/debian/control
+++ b/debian/control
@@ -12,11 +12,11 @@ Vcs-Git: https://salsa.debian.org/debian/gnome-shell-extension-autohidetopbar.gi
Package: gnome-shell-extension-autohidetopbar
Architecture: all
Depends: gnome-shell (>= 3.32), ${misc:Depends}
-Recommends: gnome-tweaks
+Recommends: gnome-shell-extension-prefs
Description: GNOME shell automatic topbar hider
This gnome-shell extension automatically hides the topbar, except in overview.
There is also an option to show the topbar when the mouse pointer approaches
the edge of the screen.
.
Please note that you have to manually enable the extension, for example using
- gnome-tweak-tool.
+ gnome-extensions-app, which is part of the gnome-shell-extension-prefs package.
--
2.33.0
