Ubuntu
gnome-terminal package

  1. Bug #1725621
  2. Comment #2

Comment 2 for bug 1725621

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

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