Ok, die Option gab es schon. Kann man im Hamburger Menü unter Preferences einstellen.
ef454fc1-bcb8-4264-b498-1e6aa0a1b205-grafik.png
JA, heute ist Weihnachten für Linux Mint Cinnamon Freunde!
Wie das mit dem Upgrade so läuft, habe ich [hier](https://frank-mankel.de/kategorien/17-linux/353-linux-mint-19-1-tessa-cinnamon beschrieben.
)