Comment 10 for bug 242852

I will see if I can figure out gtk events for when the whole window gains/loses focus and then we can try and make the entire window redraw when it gains focus, which would hopefully get rid of this.

Could someone confirm that when this happens, if you drag the terminal separators, does it then redraw at least one of the terminals correctly? (or anything else you're able to do to fix it, like minimising, alt-tabbing, etc)