Created attachment 114091 [details] screenshot of window opened when selecting "Edit current profile" When right-clicking the window (or Settings) and selecting "Edit current profile" the profile opened for editing is not the current profile, but a new one without any name yet. In order to save edits to the current profile in this way, one has to save the new profile with the same name as the current one. That is not expected behavior. The expected behavior would be to select "Edit current profile" and get the options for that very profile (that is - what is triggered by going to "Settings-Manage profiles - selecting the desired profile - Edit").
Confirmed. This confused my wife the other day.
Can anyone confirm on master or 18.04?
Fixed in master!