Re: Make gutter redisplay less aggressive