Ich verwende Cinnamon unter Arch Linux. Aus irgendeinem Grund scheint die Taskleiste die Hälfte des verfügbaren Platzes in der Leiste einzunehmen, was dazu führt, dass die Taskleisten-Schaltflächen verkleinert werden, obwohl eigentlich noch genügend Platz übrig sein sollte.
Weiß jemand, wie man es konfiguriert, damit das nicht passiert?
