Jonathan Ryshpan:
It looks like it ought to work, but it doesn't. No effect on the
size
of a terminal started using
Rt-click (anywhere in the terminal)->Open Terminal
Should I submit a bug?
This looks like the same bug:
https://bugzilla.redhat.com/show_bug.cgi?id=581097
Further ideas are solicited.
I suggest you try Roxterm -- it is a gtk+ app and uses libvte
like gnome-terminal.