Created attachment 295624 [details] [review]
This is an example patch to add x-terminal-emulator default support --- but it's quite clumsy.

prepend_terminal_to_vector() uses a hard coded list of terminals to try to execute a command with a terminal emulator, with even a workaround for a gnome-terminal "-e" parameter strangeness. 

In my opinion, the first terminal to check should be x-terminal-emulator, so that people that use the alternative mechanism to install a different default terminal emulator would not have unexpected results. 

Notice that if the x-terminal-emulator happens to be set to gnome-terminal, in this case the "brokeness" (different behavior?)  of gnome-terminal -e is taken care of in /usr/bin/gnome-terminal.wrapper. 

Added a sub-optimal, example-only patch. 

Thank you very much.