Ich konnte die anderen Methoden unter Ubuntu 19.04 nicht zum Laufen bringen, also habe ich die Datei gtk.css bearbeitet:
nano ~/.config/gtk-3.0/gtk.css
Hier ist der Code, den ich verwendet habe:
/* add a 3-pixel border around windows */
decoration {
border: 5px solid rgba(10, 10, 10, .3);
background:rgba(10, 10, 10, .3);
}
/* customize the titlebar for active window */
.titlebar {
background: rgba(10, 10, 10, .3);
border-top:solid 1px rgba(10, 10, 10, .3);
color:white;
}
/* customize the titlebar for background windows */
.titlebar:backdrop {
background: rgba(10, 10, 10, .5);
color:white;
}
Führen Sie nach dem Speichern der Datei diesen Befehl aus, um Ihre Änderungen zu übernehmen:
setsid gnome-shell --replace
Das Endergebnis finden Sie weiter unten.