Да, вечером действительно лучше отдыхать

Но всё равно вопрос остался - как изменить размер кнопки (или сразу создать кнопку требуемого размера)?

Views.HandlePropMsg с предварительным созданием SizeMsg не прокатывает. По исходниками такое впечатление, что PushButton вообще не обрабатывает сообщения об изменении размера