I can confirm that the update to plasma-workspace 4:6.7.2-5 went without
a hitch for me. Thanks for the quick response! (I wasn't sure how well I
managed to describe the bug, since there are so many components here
that are just black magic to me.)
Regards,
Torbjörn Andesson