GNOME terminal resizing when focus lost

[Daniel J Blueman <daniel quora org>]

There's a pretty serious usability issue with GNOME terminal 3.6.1
that bites when sloppy focus is enabled.

When there are two of more tabs open and the window is resized, the
window size reverts when focus is lost.

The workaround I've been using is to select a different terminal tab,
then reset the previous one.

Searching bugzilla.gnome.org yields nothing; if you guys haven't come
across it, what data is useful for me to log it?

Thanks,
  Daniel
--
Daniel J Blueman