D17374: Profile shortcuts switch profile instead of opening new tab

[Thomas Surrel]

thsurrel added a comment.


  Sorry, I don't have much time for KDE lately unfortunately. As the author of this patch, I would have like to help ...
  
  Just a quick thought: when switching profiles, could we simply run the command of the new profile if, and only if, it is different than the command of the profile we are leaving ?

REPOSITORY
  R319 Konsole

REVISION DETAIL
  https://phabricator.kde.org/D17374

To: thsurrel, #konsole, hindenburg, tcanabrava
Cc: thiago, loh.tar, konsole-devel, fbampaloukas, thsurrel, ngraham, maximilianocuria, hindenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/konsole-devel/attachments/20190701/cbbf145f/attachment.html>