Answer by Cerin for How to change default terminal application in Gnome-Shell

Ideally, there'd be an option under Details->Default Applications, but there's currently no option for "terminal".

My workaround was to install Terminator, or any other of the many GUI terminal packages which does suffer the gnome-terminal bug, and then symlink it to /usr/bin/gnome-terminal, e.g.

sudo mv /usr/bin/gnome-terminal /usr/bin/gnome-terminal.baksudo ln -s /usr/bin/terminator /usr/bin/gnome-terminal

The two binaries don't have identical parameters, but so far they seem to be similar enough that all my terminal launchers (nautilus-open-terminal, Eclipse, etc) all seem to pick it up seamlessly.