Ubuntu
gnome-terminal package

  1. Bug #162000
  2. Comment #12

Comment 12 for bug 162000

Revision history for this message
Jon (dotnetcarpenter) wrote :

Right, then it is past time to switch terminal.