D15380: Add reset font size shortcut

[Lukas Bergdoll]

lbergdoll added a comment.


  > Much better! One more request: can we disable the menu item when the current font size matches the profile's default font size?
  
  How would I do this?

REPOSITORY
  R319 Konsole

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

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