(redisplay_window): When restoring original buffer position, make sure