Fix to prevent lockups under Windows due to dynamic pushbutton font size changes.