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
parent
cc97a5e4
Please register or sign in to comment