diff options
| author | hallgren <hallgren@chalmers.se> | 2010-09-14 16:45:48 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-09-14 16:45:48 +0000 |
| commit | 7581451852055840c4c49df07b3c9e8d7ac15bdf (patch) | |
| tree | b4b6a44fbf8917c6e293f3c365368942a1e49610 /src/runtime/javascript/minibar/minibar.js | |
| parent | 17cf4e1276707d98519e460021d01c269ad44d73 (diff) | |
minibar.js: add access keys to some of the buttons
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.js')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 6 |
1 files 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]); |