[konsole] [Bug 407084] Changed behavior of profile shortcuts in Konsole

Mykola Krachkovsky bugzilla_noreply at kde.org
Mon May 6 11:19:43 BST 2019


--- Comment #10 from Mykola Krachkovsky <w01dnick at gmail.com> ---
So, I'm trying to implement this feature, currently in the middle of solving
this problem. But there is one easy for implementing but principal decision
should be made — konsolerc file before and currently has one section [Profile
Shortcuts], I'm introducing another, but which variant should be accepted:

1. [Profile Shortcuts] is used for new tab (as before 19.04).
[Apply Profile Shortcuts] is introduced to apply profile.
pros: no breakage for people who will update from 18.xx to future 19.xx, just
new feature.
cons: double breakage for people with rolling updates.

2. [Profile Shortcuts] is used to apply profile (as in 19.04).
[Profile New Tab Shortcuts] is introduced to create new tab with profile.

I'm personally for the 1st variant, but it's not very important to me as it's
easily fixable (just rename group in config file).

You are receiving this mail because:
You are the assignee for the bug.

More information about the konsole-devel mailing list