+ fixes #0001325: PushButtons in TaskPanel too small