Emdek/otter — pull request #379 by Hummer12007 (2014-07-01 08:56:03+00:00)
Title: Added Ctrl+R shortcut to reload, emulating classic Opera behaviour

This adds ability to reload pages with Ctrl+R, as in classic Opera and some other browsers.