iOS: correctly refresh screen after resize
Merge pull request #1041 from mfleisz/iosresize

iOS: correctly refresh screen after resize