minibar.js: add access keys to some of the buttons

This commit is contained in:
hallgren
2010-09-14 16:45:48 +00:00
parent fa65026136
commit ed9999784f

View File

@@ -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]);