DocumentController propertyChange() & view-sizes