Profile shortcuts switch profile instead of opening new tab
Summary:
This is a proposal to modify the profile shortcuts behaviour:
instead of opening a new tab with the corresponding profile
they now switch the profile of the current terminal display.
FEATURE: 319926
Reviewers: Konsole, hindenburg, tcanabrava
Reviewed By: Konsole, hindenburg
Subscribers: loh.tar, konsole-devel
Tags: Konsole
Differential Revision: https://phabricator.kde.org/D17374