An extension for GNOME Shell that merges the activity bar and the title bar of maximized windows.
make install
gnome-shell-extension-tool -e [email protected]
Restart GNOME Shell by pressing Alt+F2 and entering r.
This extension does not work on native Wayland applications. The necessary support is simply not available upstream, and can't be fixed at the extension level.
The extension will still work on applications making use of Xwayland.
This extension depends on Xorg's xprop and xwininfo utilities. If not already
present on your system, these can be installed using:
- Debian/Ubuntu:
apt install x11-utils - Fedora/RHEL:
dnf install xorg-x11-utils - Arch:
pacman -S xorg-xprop
This is based on the Pixel-Saver extension, by @deadalnix: https://github.com/deadalnix/pixel-saver