I have a block widget which renders its contents asynchronously. The documentation says that the widget should call
view.requestMeasure if the height of the widget changes:
if you dynamically change their height, you should make sure to call
requestMeasure, so that the editor can update its information about its vertical layout.
However, it seems in my experience so far that the editor’s height map is correct even if the block widget doesn’t call
Is it always a requirement to call
view.requestMeasure() after updating the contents of a widget, if the height changes?
If so, would it be possible to add
view as a second parameter to the
updateDOM method of
WidgetType, so that both
updateDOM can call