After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 731232 - Profile names not re-sorted on rename
Profile names not re-sorted on rename
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: Profiles
3.13.x
Other Linux
: Normal minor
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on: 745329 774710
Blocks:
 
 
Reported: 2014-06-04 18:56 UTC by Egmont Koblinger
Modified: 2017-10-22 17:06 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Egmont Koblinger 2014-06-04 18:56:05 UTC
When you rename a profile, the entries of the File->Open Terminal, Terminal->Change Profile, and rightclick->Profiles menus are not re-sorted in existing g-t windows.

The profile names appear correctly sorted in newly created windows, though.
Comment 1 Christian Persch 2014-08-16 17:30:11 UTC
Yes, I was just too lazy to code this up.
Comment 2 Christian Persch 2017-10-22 17:06:48 UTC
Fixed with the gmenu port.