/* Set by redisplay to the last position seen. This is used
to implement the redisplay-end-trigger-functions. */
Bufpos last_redisplay_pos;
/* Set by redisplay to the last position seen. This is used
to implement the redisplay-end-trigger-functions. */
Bufpos last_redisplay_pos;