Ubuntu
gnome-terminal package

  1. Bug #1040885
  2. Comment #22

Comment 22 for bug 1040885

Revision history for this message
Codagnoni (codagnoni) wrote :

Living and learning.

Patch DID work now (gnome-terminal 3.6.0 in 12.10 with the patch from comment #18).

Thanks.