** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Medium
** Also affects: hundredpapercuts
Importance: Undecided
Status: New
** Changed in: hundredpapercuts
Status: New => Confirmed
** Changed in: hundredpapercuts
Importance: Undecided => Medium
--
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/1570752
Title:
Two "terminal" menus with duplicates
Status in One Hundred Papercuts:
Confirmed
Status in gnome-terminal package in Ubuntu:
Confirmed
Bug description:
1)In Ubuntu 16.04 Unity 64 bits,
2)with Gnome Terminal 3.18.3,
3) there should be only one "terminal" dropdown menu (the one on the
right)
4) there are two terminal dropdown menus, and the one on the left is
totally useless since it contains duplicates entries from other menus,
like I listed below:
- New terminal : like in File -> Open a terminal
- Preferences : like in Edit -> Preferences
- Help : like in Help -> Summary
- About : like in Help -> About
- Exit : like in File -> Close all terminal
The solution would be to suppress this menu since all the entries
inside are already somewhere else.
Note : Since my Ubuntu is in french, some menus name may not be
exactly matching the one you have, but it should not be a real problem
for your understanding of the situation.
To manage notifications about this bug go to:
https://bugs.launchpad.net/hundredpapercuts/+bug/1570752/+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
