Make gutter redisplay less aggressive