The map widget has serious issues with resizing. It currently fails to resize properly until the options widget is toggled. This would be a good place to start looking, as there is code that does the good resize somewhere in there. We just need to plug it back in.