Ubuntu
gnome-terminal package

  1. Bug #217611
  2. Comment #1

Comment 1 for bug 217611

Revision history for this message
Artem Popov (artfwo) wrote :

Attached a debdiff against 2.22.1-0ubuntu2, actually implementing the functionality. Working binary available for testing through my PPA (currently underway):
https://launchpad.net/~artfwo/+archive