diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/about.html | 4 | ||||
| -rw-r--r-- | src/www/minibar/minibar_translations.js | 107 |
2 files changed, 84 insertions, 27 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index 4730953c6..7c127fe5f 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -231,11 +231,13 @@ Some implementation details: <li>[Added 2013-04-02] Abstract syntax tree visualizations: click once to show abstract syntax trees without category names. Click again to add category names. + <li>[Added 2013-04-02] Minibar now remembers from one visit to the next + the selected set of target languages for each grammar. </ul> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Tue Apr 2 13:55:59 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Apr 2 15:49:32 CEST 2013 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js index 370ef90df..ffb21972f 100644 --- a/src/www/minibar/minibar_translations.js +++ b/src/www/minibar/minibar_translations.js @@ -27,7 +27,7 @@ function Translations(server,opts) { var tom=this.to_menu=node("select",{id:"to_menu",multiple:"",size:5},[]); appendChildren(this.menus,[text(" To: "), this.to_menu]) - tom.onchange=bind(this.get_translations,this); + tom.onchange=bind(this.change_language,this); /* // This seems triggers weird scrolling behavior in Firefox and Chrome: tom.onmouseover=function() { var n=tom.options.length; tom.size=n<12 ? n : 12; } @@ -37,17 +37,45 @@ function Translations(server,opts) { } Translations.prototype.change_grammar=function(grammar) { - this.grammar=grammar; + var t=this + t.grammar=grammar; - update_language_menu(this.to_menu,grammar); - insertFirst(this.to_menu,option("All","All")); - this.to_menu.value="All"; + t.local=mt_local(t.server.current_grammar_url) + update_language_menu(t.to_menu,grammar); + insertFirst(t.to_menu,option("All","All")); + t.to_menu.value="All"; + var toLangs=t.local.get("toLangs") + if(toLangs) { + t.toLangs=toLangs + t.toSet=toSet(toLangs) + var os=to_menu.options + for(var i=0;i<os.length;i++) + os[i].selected=t.toSet[os[i].value] || false + } + else { + t.toLangs=["All"] + t.toSet={"All":true} + } } Translations.prototype.clear=function() { this.main.innerHTML=""; } +Translations.prototype.change_language=function() { + var toLangs=[] + var os=to_menu.options; + for(var i=0;i<os.length;i++) + if(os[i].selected) { + toLangs.push(os[i].value) + toSet[os[i].value]=true; + } + this.toLangs=toLangs + this.toSet=toSet(toLangs) + this.local.put("toLangs",toLangs) + this.get_translations(); +} + Translations.prototype.translateFrom=function(current,startcat,lin_action) { this.current=current; this.startcat=startcat; @@ -115,14 +143,8 @@ Translations.prototype.show_translations=function(translationResults) { var trans=main; //var to=target_lang(); // wrong var to=to_menu.value; - var toLangs=[] - var toSet={} - var os=to_menu.options; - for(var i=0;i<os.length;i++) - if(os[i].selected) { - toLangs.push(os[i].value) - toSet[os[i].value]=true; - } + var toLangs=self.toLangs + var toSet=self.toSet var cnt=translationResults.length; // cnt==1 usually //trans.translations=translations; trans.single_translation=[]; @@ -212,19 +234,6 @@ Translations.prototype.show_groupedtranslations=function(translationsResult) { } } - -function tree_button(img_url,opt) { - var imgs=[tree_icon,img_url+(opt||"&nofun=true"),img_url] - var current=0; - function cycle() { - current++; - if(current>=imgs.length) current=0; - i.src=imgs[current] - } - var i=button_img(tree_icon,cycle); - return i -} - Translations.prototype.abstree_button=function(abs) { var f=this.options.tree_img_format; var img=this.server.current_grammar_url+"?command=abstrtree&format="+f+"&tree="+encodeURIComponent(abs) @@ -252,6 +261,20 @@ Translations.prototype.parsetree_button=function(abs,lang) { return btn; } +/* --- Auxiliary functions -------------------------------------------------- */ + +function tree_button(img_url,opt) { + var imgs=[tree_icon,img_url+(opt||"&nofun=true"),img_url] + var current=0; + function cycle() { + current++; + if(current>=imgs.length) current=0; + i.src=imgs[current] + } + var i=button_img(tree_icon,cycle); + return i +} + function draw_brackets(b) { return b.token ? span_class("token",text(b.token)) @@ -259,3 +282,35 @@ function draw_brackets(b) { title:(b.fun||"_")+":"+b.cat+" "+b.fid+":"+b.index}, b.children.map(draw_brackets)) } + + +// Access to localStorage, if available +function mt_local(grammar_url) { + function dummy() { + return { + get: function(name,def) { return def }, + put: function(name,value) { } + } + } + function real() { + var prefix="gf.minibar_translations."+grammar_url+"." + return { + get: function (name,def) { + var id=prefix+name + return localStorage[id] ? JSON.parse(localStorage[id]) : def; + }, + put: function (name,value) { + var id=prefix+name; + localStorage[id]=JSON.stringify(value); + } + } + } + return window.localStorage ? real() : dummy() +} + +// Convert an array of strings to a set (for quick & easy membership tests) +function toSet(a) { + var set={} + for(var i=0;i<a.length;i++) set[a[i]]=true + return set +} |