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

Tomaz Canabrava 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
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/konsole-devel/attachments/20190506/be065bcc/attachment.html>


More information about the konsole-devel mailing list