← Back to team overview

do-plugins team mailing list archive

Thread
Date

[Bug 321977] Re: gnome-terminal profiles no longer work

To: do-plugins@xxxxxxxxxxxxxxxxxxx
From: Nicholas J Kreucher <nick@xxxxxxxxxxxx>
Date: Tue, 03 Feb 2009 01:45:10 -0000
Reply-to: Bug 321977 <321977@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

fixed. see patch...

** Attachment added: "gnome-do-plugins-GNOME-Terminal-bug321977.patch"
   http://launchpadlibrarian.net/21916279/gnome-do-plugins-GNOME-Terminal-bug321977.patch

-- 
gnome-terminal profiles no longer work
https://bugs.launchpad.net/bugs/321977
You received this bug notification because you are a member of GNOME Do
Plugins Team, which is subscribed to GNOME Do Plugins.

References

[Bug 321977] [NEW] gnome-terminal profiles no longer work
From: Nicholas J Kreucher, 2009-01-27