GNOME Bugzilla – Bug 731233
Don't show Profile ID
Last modified: 2021-06-10 20:47:45 UTC
The topmost entry of the Profile prefs window is the Profile ID. This is a technical ID, of zero practical use to the user. (And probably not that useful for developers either, since if you can dig into dconf then you can also easily figure out the ID from the profile name.) I don't see any reason why we should present this value to the user. Let's remove it!
We are discussing this as part of bug 724110
(In reply to comment #0) ... > This is a technical ID, of zero practical use to the user. (And probably not > that useful for developers either, since if you can dig into dconf then you can > also easily figure out the ID from the profile name.) ... I'd be in favour of removing this from the settings. It is totally unobvious what the ID is for, even to advanced users. UI that doesn't have an obvious purpose degrades the overall experience.
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/7464.