Public bug reported:
Right click at the terminal area and choose profile -> profile
preferences, nothing happens. While Edit->profile preferences works
properly.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
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 not work
Status in “gnome-terminal” package in Ubuntu:
New
Bug description:
Right click at the terminal area and choose profile -> profile
preferences, nothing happens. While Edit->profile preferences works
properly.
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
