Improvements to the Manage Profiles dialog
- Double-clicking on name opens Edit Profile dialog
- Only allow renaming from the Edit Profile dialog
- Upon renaming of a profile, change shortcut to new profile name
- Upon renaming of a profile, delete old named profile file.
- Do not allow renaming of a profile if that name already exists.
Patch by ahmadsamir; I made a few changes (name/const).
Differential Revision: https://phabricator.kde.org/D9272