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

bugzilla_noreply at kde.org bugzilla_noreply at kde.org
Mon May 6 11:29:21 BST 2019


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

--- Comment #11 from tcanabrava at kde.org ---
Can we take a look at the code to understand the behavioral change you are
testing?

Em seg, 6 de mai de 2019 às 12:19, Mykola Krachkovsky <
bugzilla_noreply at kde.org> escreveu:

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

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


More information about the konsole-devel mailing list