The tab widgets are being redrawn like crazy under some conditions.
For example, lots of scrolling output from shell mode in window 2 is
causing the tab widgets to flash like crazy.
Not sure yet precisely how to reproduce it - but I've seen it several
times after just seconds of use - so it's not too hard.