From 3398e1060b8b2cdd591ad54c4a638e2d6bb1d4be Mon Sep 17 00:00:00 2001 From: hallgren Date: Sun, 18 Mar 2012 23:54:50 +0000 Subject: [PATCH] minibar: automatically select the most recently used grammar when returning to the minibar --- src/www/minibar/minibar.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index c1bdde573..02c770e83 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -82,7 +82,9 @@ Minibar.prototype.show_grammarlist=function(grammars) { } if(options.help_url) menubar.appendChild(button("Help",bind(open_help,this))); - var grammar0=options.initial_grammar || grammars[0]; + var grammar0= options.initial_grammar + || window.localStorage && localStorage["gf.minibar.last_grammar"] + || grammars[0]; grammar_menu.value=grammar0; select_grammar(grammar0); } @@ -92,6 +94,8 @@ Minibar.prototype.select_grammar=function(grammar_name) { var t=this; //debug("select_grammar "); function change_grammar() { + if(window.localStorage) + localStorage["gf.minibar.last_grammar"]=grammar_name; t.server.grammar_info(bind(t.change_grammar,t)); } t.server.switch_grammar(grammar_name,change_grammar);