GNOME Bugzilla – Bug 731232
Profile names not re-sorted on rename
Last modified: 2017-10-22 17:06:48 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.
Yes, I was just too lazy to code this up.
Fixed with the gmenu port.