Remove `redisplay-dont-pause' modification