Main window: When the zoom level is changed, make sure the current page is redisplayed

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