Comment 22 for bug 1747171

Ok, he made the change for gnome-terminal 3.30.1 which has a reasonable chance of being in Ubuntu 18.10 available in October. (Basically, you'll need to change a gsettings value from the command line or by using dconf-editor.)

I'm not very interested in trying to backport this change to Ubuntu 18.04 LTS. If you want to try to convince us to do that, please open a new bug against gnome-terminal here. In general, people don't read closed bugs. :)