summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-05-16 13:25:18 +0000
committerhallgren <hallgren@chalmers.se>2012-05-16 13:25:18 +0000
commit5ac7bfc326ff903dadb8313e8f65b93cea230f58 (patch)
treeda0c7956c92b587fb87ccd7bbe5b288a44afefae /src
parentd2e528c7f482071832db7e63a80bf2d21ba84b48 (diff)
translator: file browser shows files alphabetically now
Diffstat (limited to 'src')
-rw-r--r--src/www/translator/translator.js39
1 files changed, 23 insertions, 16 deletions
diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index eeb8515a6..acff13d72 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -146,14 +146,12 @@ Translator.prototype.browse=function(el) {
hide_menu(el);
var t=this
function browse() {
+ var files=t.local.ls("/")
var ul=empty_class("ul","files")
- var pre=t.local.prefix+"/"
- for(var i in localStorage) {
- if(hasPrefix(i,pre)) {
- var name=i.substr(pre.length)
- var link=a(jsurl("translator.open('"+name+"')"),[text(name)])
- ul.appendChild(li(link))
- }
+ for(var i in files) {
+ var name=files[i]
+ var link=a(jsurl("translator.open('"+name+"')"),[text(name)])
+ ul.appendChild(li(link))
}
clear(t.view)
t.view.appendChild(wrap("h2",text("Your translator documents")))
@@ -362,28 +360,37 @@ function concname(code) { return langname[code] || code; }
function tr_local() {
- var prefix="gf.translator."
+ /*
function dummy() {
return {
- prefix: prefix,
get: function(name,def) { return def },
put: function(name,value) { }
+ ls: function() { return [] }
}
}
- function real() {
+ */
+ function real(storage) {
+ var appPrefix="gf.translator."
return {
- prefix: prefix,
get: function (name,def) {
- var id=prefix+name
- return localStorage[id] ? JSON.parse(localStorage[id]) : def;
+ var id=appPrefix+name
+ return storage[id] ? JSON.parse(storage[id]) : def;
},
put: function (name,value) {
- var id=prefix+name;
- localStorage[id]=JSON.stringify(value);
+ var id=appPrefix+name;
+ storage[id]=JSON.stringify(value);
+ },
+ ls: function(prefix) {
+ var pre=appPrefix+prefix
+ var files=[]
+ for(var i in storage)
+ if(hasPrefix(i,pre)) files.push(i.substr(pre.length))
+ files.sort()
+ return files
}
}
}
- return window.localStorage ? real() : dummy()
+ return window.localStorage ? real(localStorage) : real([])
}
// Collect alternative texts in the output from PGF service translate command