Outdated GUI string in GNOME Terminal documentation: 'Edit Profiles' -> 'Profiles'
Submitted by Tomasz Chrzczonowicz
Link to original bug (#617447)
Description
Section 2.3 Terminal Profiles
"You define each terminal profile in the Edit Profiles dialog, which you access from the Edit menu."
Now it's just 'Profiles', not 'Edit Profiles'.
Version: git master
Resolution: RESOLVED FIXED