We'd love to be able to give you an estimate on when a fix for this can be delivered, but the reality is we can't at this point. Yes, I can easily reproduce the problem. That's a far cry from being able to identify the cause. The good news (for you) is that this or a similar problem seems to occur with a number of applications (for example gnome-terminal), so it's very likely a fix will be found some time in the next few months. More than that I make no promises.
@john
We'd love to be able to give you an estimate on when a fix for this can be delivered, but the reality is we can't at this point. Yes, I can easily reproduce the problem. That's a far cry from being able to identify the cause. The good news (for you) is that this or a similar problem seems to occur with a number of applications (for example gnome-terminal), so it's very likely a fix will be found some time in the next few months. More than that I make no promises.