See https://git.gnome.org/browse/gnome-terminal/commit/?id=10e164d and follow the links from there if you're interested in the details.
See https:/ /git.gnome. org/browse/ gnome-terminal/ commit/ ?id=10e164d and follow the links from there if you're interested in the details.