Thank you, On Tue, May 28, 2013 at 2:45 PM, Tibor Simko <[email protected]> wrote: > This is due to a wrong version of jquery.hotkeys.js. The problem has > been fixed in: > > <http://invenio-software.org/repo/invenio/commit/?h=maint-1.1&id=1e5c804921d18839b1e9e383cc3bce3b5abd2bc9> > > Please update your local `jquery.hotkeys.js' and things will work.
I confirm that this solution also works. Best regards Petr Brož
