Main window: refresh pages when the main window is resized or the zoom level is changed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>