1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Source: gnome-shell-extension-autohidetopbar
Section: gnome
Priority: optional
Maintainer: Tobias Frost <tobi@debian.org>
Build-Depends: debhelper-compat (= 13), gettext, libglib2.0-bin, zip, intltool
Standards-Version: 4.7.0
Homepage: https://gitlab.gnome.org/tuxor1337/hidetopbar
Rules-Requires-Root: no
Vcs-Browser: https://salsa.debian.org/debian/gnome-shell-extension-autohidetopbar
Vcs-Git: https://salsa.debian.org/debian/gnome-shell-extension-autohidetopbar.git
Package: gnome-shell-extension-autohidetopbar
Architecture: all
Depends: gnome-shell (>= 45), gnome-shell (<< 49~), ${misc:Depends}
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-extensions-app, which is part of the gnome-shell-extension-prefs package.
|
