On Wed, 2008-04-09 at 16:25 +0200, Ulrik Sverdrup wrote: > I've experienced two crashes with Profile editing in gnome-terminal, > killing all my terminal windows. > > Once when editing the background color of a profile being used. Once > upon just creating a new profile (after giving it a name).
Hi, Did this happen when two different profiles was in use? If so, it might be this upstream bug. http://bugzilla.gnome.org/show_bug.cgi?id=528236 A backtrace is needed to be sure. -- Cheers, Sven Arvidsson http://www.whiz.se PGP Key ID 760BDD22
signature.asc
Description: This is a digitally signed message part
