+ document.addEvent('keypress', function(ev){
+ if (ev.key == 'esc') {
+ show.exit();
+ } else if (ev.key == 'left') {
+ show.prev();
+ } else if (ev.key == 'right') {
+ show.next();
+ } else if (ev.key == 'space') {
+ show.toggleplay();
+ } else {
+ /* alert('keypress: '+ev.key); */
+ }
+ });
+