I think I understand now: libvte9 stopped evolving in Oct 2012 at 0.28.2-5. It is not supported by gnome.org anymore. And it has NOT been forked by MATE yet! Integrating your new patch would mean to fork the out-dated libvte9.
After what Egmont wrote on https://bugzilla.gnome.org/show_bug.cgi?id=736196 I think your patch for mate-terminal (comment #5) was the better approach for MATE.
I think I understand now: libvte9 stopped evolving in Oct 2012 at 0.28.2-5. It is not supported by gnome.org anymore. And it has NOT been forked by MATE yet! Integrating your new patch would mean to fork the out-dated libvte9.
After what Egmont wrote on https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 736196 I think your patch for mate-terminal (comment #5) was the better approach for MATE.