OberonCore

То ли я к концу рабочего дня чего-то не понимаю, то ли Блэкбокс

Прошу прощения за большую картинку, но так проще пояснить.



Что значит "охрана или проверяемый тип не переопределение типа переменной"? А чего же он тогда переопределение ?! Или я что-то совсем не так делаю?

Properties.Property --> Controls.Prop

p := prop;

prop := p(Controls.Prop);

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

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

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

Правильно, и не покатит. Если я не ошибаюсь, решение о конкретном размере элемента принимает его контейнер, то есть, TextModel.
И правильное решение вот этой проблемы - использовать не Formatter, а TextModels.Writer, у коего можно при записи отображения передать ширину и высоту:

writer.WriteView(button, w, h)