@Bill:
thanks for working on this patch. I think one of the first step will to report the issue upstream and post your patch.
You should open a bug against gnome-terminal package in ubuntu ("Also affects distribution" -> gnome-terminal in ubuntu).
You can then link your bug in Launchpad to this one in clicking on "also affects projects", ensure you have gnome-terminal selected, and copy the url from upstream bug report).
Thanks a lot!
@Bill:
thanks for working on this patch. I think one of the first step will to report the issue upstream and post your patch.
You should open a bug against gnome-terminal package in ubuntu ("Also affects distribution" -> gnome-terminal in ubuntu).
You can then link your bug in Launchpad to this one in clicking on "also affects projects", ensure you have gnome-terminal selected, and copy the url from upstream bug report).
Thanks a lot!