Ubuntu
gnome-terminal package

  1. Bug #3923
  2. Comment #14

Comment 14 for bug 3923

Revision history for this message
raczgabor (raczgabor) wrote :

+1 vote for the preceding comment.
Moreover, unfortunately, I do not know how to use the .diff patch file. :(