Install gnome-shell-extension-pixelsaver by entering the following commands in the terminal:
sudo apt update sudo apt install gnome-shell-extension-pixelsaver
Description:
pixel saver extension for GNOME shell
Pixel Saver is designed to save pixels by fusing activity bar and title bar in GNOME shell. . It is inspired by previous tools such as Maximus.
Homepage: https://github.com/deadalnix/pixel-saver
Version: 1.10+git20161217-49f47bf-1
Section: universe/gnome