From 7581451852055840c4c49df07b3c9e8d7ac15bdf Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 14 Sep 2010 16:45:48 +0000
Subject: [PATCH] minibar.js: add access keys to some of the buttons

---
 src/runtime/javascript/minibar/minibar.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index b85fc4726..f20d66ab9 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -108,9 +108,9 @@ function show_grammarlist(grammars) {
     appendChildren(menubar,
 		   [text(" From: "), empty_id("select","language_menu"),
 		    text(" To: "), empty_id("select","to_menu"),
-		    button(options.delete_button_text,"delete_last()"),
-		    button("Clear","clear_all()"),
-		    button("Random","generate_random()")]);
+		    button(options.delete_button_text,"delete_last()","H"),
+		    button("Clear","clear_all()","L"),
+		    button("Random","generate_random()","R")]);
     if(options.help_url)
 	menubar.appendChild(button("Help","open_help()"));
     select_grammar(grammars[0]);