Propagated auto-resize windows from ClaferIDE