Windows: detect when the window has changed of size