desktop-packages team mailing list archive

[Iain Lane <iain@xxxxxxxxxxxxxxxxxxx>]

It was a bug in our patch to re-add transparency support - thanks to
rishi for pointing me at this bug; fixing now.

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

** Changed in: gnome-terminal (Ubuntu)
     Assignee: (unassigned) => Iain Lane (laney)

-- 
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:
  In Progress

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