Living and learning.
Patch DID work now (gnome-terminal 3.6.0 in 12.10 with the patch from comment #18).
Thanks.
Living and learning.
Patch DID work now (gnome-terminal 3.6.0 in 12.10 with the patch from comment #18).
Thanks.