Also, was hab ich jetzt abschließend gemacht?
Da meine Qt Kenntnisse (noch) nicht ausreichen, um vernünftig mit styleplugins zu arbeiten, habe ich zu Linux Mint 18.1 KDE gewechselt. Wollte ich eh schon länger. Dort wird das passende Theme verwendet. :-)
Es gibt auch mehrere Bug-Reports für den Cinnamon Desktop unter Linux Mint, die alle das gleiche Problem mit Qt >=5.7 haben. Eine passende Lösung für mich konnte ich nicht finden.
Grüße,
Andre
