msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

minibar.js: add an option to enable/disable the Random button

Browse Source
This commit is contained in:
hallgren
2010-10-17 16:48:21 +00:00
parent ab19a670a3
commit 5400728ef7
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/runtime/javascript/minibar/minibar.js
View File

@@ -18,6 +18,7 @@ var options={
default_source_language: null, default_source_language: null,
try_google: true, try_google: true,
feedback_url: null, feedback_url: null,
random_button: true,
help_url: null help_url: null
} }
@@ -108,8 +109,9 @@ function show_grammarlist(grammars) {
[text(" From: "), empty_id("select","language_menu"), [text(" From: "), empty_id("select","language_menu"),
text(" To: "), empty_id("select","to_menu"), text(" To: "), empty_id("select","to_menu"),
button(options.delete_button_text,"delete_last()","H"), button(options.delete_button_text,"delete_last()","H"),
button("Clear","clear_all()","L"), button("Clear","clear_all()","L")]);
button("Random","generate_random()","R")]); if(options.random_button)
menubar.appendChild(button("Random","generate_random()","R"));
if(options.help_url) if(options.help_url)
menubar.appendChild(button("Help","open_help()")); menubar.appendChild(button("Help","open_help()"));
select_grammar(grammars[0]); select_grammar(grammars[0]);
@@ -273,9 +275,6 @@ function get_completions(menu) {
} }
function word(s) { function word(s) {
//var w=div_class("word",text(s));
//w.setAttribute("onclick",'add_word("'+s+'")');
//return w;
return button(s,'add_word("'+s+'")'); return button(s,'add_word("'+s+'")');
} }