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 : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
