Vor Kurzem habe ich die Größe der Titelleiste in der Fedora 24 Gnome 3.20-Version reduziert. Im Grunde möchte ich die Größe jedes Widgets reduzieren, damit der von der Anwendung auf dem Bildschirm eingenommene Platz kleiner wird. Jede Hilfe ist willkommen.