We are sorry that we do not always have the capacity to review all reported bugs in a timely manner.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017. Do you still see a problem related to the one that you reported in a currently supported version of Ubuntu? Please let us know if you do and in which version otherwise this report can be left to expire in approximately 60 days time. Thank you for helping make Ubuntu better. Paul White [Ubuntu Bug Squad] ** Changed in: gnome-terminal (Ubuntu) Status: Confirmed => Incomplete -- 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/984899 Title: right-click menu profile preference does not work Status in gnome-terminal package in Ubuntu: Incomplete Bug description: Right click at the terminal area and choose profile -> profile preferences, nothing happens. While Edit->profile preferences works properly. --- ApportVersion: 2.0.1-0ubuntu4 Architecture: amd64 DistroRelease: Ubuntu 12.04 InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Beta amd64 (20120328) Package: gnome-terminal 3.4.1.1-0ubuntu1 PackageArchitecture: amd64 ProcEnviron: TERM=xterm PATH=(custom, no user) LANG=en_US.UTF-8 SHELL=/bin/bash ProcVersionSignature: Ubuntu 3.2.0-23.36-generic 3.2.14 Tags: precise Uname: Linux 3.2.0-23-generic x86_64 UpgradeStatus: No upgrade log present (probably fresh install) UserGroups: adm cdrom dip lpadmin plugdev sambashare sudo To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/984899/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp