<div dir="ltr"><div>See 95d0631a439eb082fe460fc1228b56c1183dbdb5 in plasma-workspace 10 minutes after that fixes this.<br><br></div><div>(but well spotted)<br></div><div><br></div>David<br></div>