Tag gnome make title bar smaller

How to make Gnome 42 windows title bar smaller By default, the Gnome window title bar is too high. This tutorial will show you how to…