desktop-packages team mailing list archive

[Launchpad Bug Tracker <1401192@xxxxxxxxxxxxxxxxxx>]

This bug was fixed in the package gnome-terminal - 3.14.2-0ubuntu1

---------------
gnome-terminal (3.14.2-0ubuntu1) vivid; urgency=medium

  * Pass the terminal window in all code paths that launch the profile editor,
    to avoid dereferencing the wrong thing. (LP: #1401192)
  * New upstream translation release.
 -- Iain Lane <iain.lane@xxxxxxxxxxxxx>   Mon, 15 Dec 2014 17:00:27 +0000

** Changed in: gnome-terminal (Ubuntu)
       Status: In Progress => Fix Released

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1401192

Title:
  gnome-terminal crashes on editing preferences

Status in gnome-terminal package in Ubuntu:
  Fix Released

Bug description:
  Edit -> Preferences -> Profile -> Default -> Edit

  [  829.863025] traps: gnome-terminal-[6746] general protection
  ip:4171de sp:7fff5db55b00 error:0 in gnome-terminal-
  server[400000+46000]

  ProblemType: Bug
  DistroRelease: Ubuntu 15.04
  Package: gnome-terminal 3.14.1-1ubuntu1
  ProcVersionSignature: Ubuntu 3.16.0-25.33-generic 3.16.7
  Uname: Linux 3.16.0-25-generic x86_64
  ApportVersion: 2.14.7-0ubuntu10
  Architecture: amd64
  CurrentDesktop: Unity
  Date: Wed Dec 10 18:30:28 2014
  InstallationDate: Installed on 2013-03-23 (627 days ago)
  InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Alpha amd64 (20130321)
  SourcePackage: gnome-terminal
  UpgradeStatus: Upgraded to vivid on 2013-05-03 (585 days ago)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401192/+subscriptions