D15380: Add reset font size shortcut

[Dominik Haumann]

dhaumann added a comment.


  Ctrl+shift+0 is much better than the +r variants. +r typically is used for reloading/refreshing. If we cannot find a better solution, then having no default shortcut would also be an option.

REPOSITORY
  R319 Konsole

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

To: lbergdoll, hindenburg, tcanabrava, #vdg, ngraham
Cc: ach, kvermette, rizzitello, lbergdoll, hindenburg, fabianr, dhaumann, kde-doc-english, z3ntu, ngraham, konsole-devel, herrold, skadinna, maximilianocuria
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/konsole-devel/attachments/20180911/efa955eb/attachment.html>