Test: resize of window height

michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: Test: resize of window height michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: