Running bookmarklet from a keyboard shortcut in Opera

Question

The Opera web browser makes it very easy for users to tie keyboard shortcuts to bookmarks by editing the keyboard.ini file, e.g.

F1 = http://google.com/

will allow a single keystroke (F1) to Google.

I'd like to similarly tie a keyboard shortcut to a bookmarklet --- but the following doesn't work:

F1 = javascript:alert('Hello, World!')

Does anyone know how to achieve this, either using keyboard.ini or through some other means?

(The ultimate goal here is to build a TV-based browser that my grandparents can use. This means a set of labelled hotkeys on the keyboard that instantly visit sites they like or perform other useful functions. I'd like the whole package to be contained within Opera.)

Answer 1

I've been using the marklets.com bookmarklet. I can't run it with a keyboard short cut but it does allow me to just store one bookmarklet in my toolbar and search their database of bookmarklets. Super useful. Check it out here.

Marklets.com Bookmarklet

Answer 2

What about

F1 = Go to page, "javascript:alert('Hello world')"

Would that work?