[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


https://bugs.kde.org/show_bug.cgi?id=407084

--- 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