Re: tab widgets/gutter serious redisplay problem