1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
// TODO It would be nice to use DOM storage. When that's available.
function store_pref(k, v) {
var d = parse_cookie();
d[short_key(k)] = v;
store_cookie(d);
}
function clear_pref(k) {
var d = parse_cookie();
delete d[short_key(k)];
store_cookie(d);
}
function get_pref(k) {
var r = parse_cookie()[short_key(k)];
return r == undefined ? default_pref(k) : r;
}
function section_pref(template, name) {
return 'visible|' + template + '|' + name;
}
// ---------------------------------------------------------------------------
function default_pref(k) {
if (k.substring(0, 12) == 'chart-range-') return '60|5';
if (k.substring(0, 11) == 'chart-size-') return 'small';
if (k.substring(0, 10) == 'rate-mode-') return 'chart';
if (k == 'truncate') return '100';
return null;
}
// ---------------------------------------------------------------------------
function parse_cookie() {
var c = get_cookie('m');
var items = c.length == 0 ? [] : c.split('|');
var start = 0;
var dict = {};
for (var i in items) {
var kv = items[i].split(':');
dict[kv[0]] = unescape(kv[1]);
}
return dict;
}
function store_cookie(dict) {
var enc = [];
for (var k in dict) {
enc.push(k + ':' + escape(dict[k]));
}
var date = new Date();
date.setFullYear(date.getFullYear() + 1);
document.cookie = 'm=' + enc.join('|') + '; expires=' + date.toUTCString();
}
function get_cookie(key) {
var cookies = document.cookie.split(';');
for (var i in cookies) {
var kv = jQuery.trim(cookies[i]).split('=');
if (kv[0] == key) return kv[1];
}
return '';
}
// Try to economise on space since cookies have limited length.
function short_key(k) {
var res = Math.abs(k.hashCode() << 16 >> 16);
res = res.toString(16);
return res;
}
String.prototype.hashCode = function() {
var hash = 0;
if (this.length == 0) return code;
for (i = 0; i < this.length; i++) {
char = this.charCodeAt(i);
hash = 31*hash+char;
hash = hash & hash; // Convert to 32bit integer
}
return hash;
}
|
