[konsole] [Bug 407084] Changed behavior of profile shortcuts in Konsole
tcanabrava at kde.org
Mon May 6 11:28:55 BST 2019
Can we take a look at the code to understand the behavioral change you are
Em seg, 6 de mai de 2019 às 12:19, Mykola Krachkovsky <
bugzilla_noreply at kde.org> escreveu:
> --- Comment #10 from Mykola Krachkovsky <w01dnick at gmail.com> ---
> So, I'm trying to implement this feature, currently in the middle of
> this problem. But there is one easy for implementing but principal decision
> should be made — konsolerc file before and currently has one section
> 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,
> 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
> easily fixable (just rename group in config file).
> You are receiving this mail because:
> You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the konsole-devel