D15380: Add reset font size shortcut

[Nathaniel Graham]

ngraham 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?
  
  Also, for the icon, I'm not sure `character-set` is the right choice; that will put two identical flag icons in the menu, but for items that do different things. I couldn't find a better icon, so maybe for the time being we should leave this menu item icon-less.

INLINE COMMENTS

> dhaumann wrote in sessionui.rc:3
> Afaik, you have to increase the version number to avoid old caching.

Correct. Please bump the version anytime you change anything in an `rc` file.

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/20180909/c56dd4bf/attachment.html>