9 |
var changed_display_pos = 0; |
var changed_display_pos = 0; |
10 |
var id_cache = []; |
var id_cache = []; |
11 |
|
|
12 |
|
var debug_on = true; |
13 |
|
function debug(text) { |
14 |
|
if (debug_on) debug_on = confirm(text); |
15 |
|
} |
16 |
|
|
17 |
function element_id(id) { |
function element_id(id) { |
18 |
if (id_cache[id]) { |
if (id_cache[id]) { |
19 |
|
//debug("from cache "+id+" == "+id_cache[id]); |
20 |
return id_cache[id]; |
return id_cache[id]; |
21 |
} else { |
} else { |
22 |
var el = document.getElementById(id); |
var el = self.document.getElementById(id); |
23 |
|
//debug("getElementById("+id+") == "+el); |
24 |
if (el) { |
if (el) { |
25 |
id_cache[id] = el; |
id_cache[id] = el; |
26 |
return el; |
return el; |
27 |
} |
} |
28 |
|
//} else debug("can't find element "+id); |
29 |
} |
} |
30 |
|
return null; |
31 |
} |
} |
32 |
|
|
33 |
function toggle_display(name,dont_save) { |
function toggle_display(name,dont_save) { |
34 |
var el = element_id(name); |
var el = element_id(name); |
35 |
if (el) { |
if (el) { |
36 |
|
//debug("toggle "+name+" == "+el.id+" current: '"+el.style.display+"'"); |
37 |
|
|
38 |
if (el.style.display=='none') |
if (el.style.display=='none') |
39 |
el.style.display = ''; |
el.style.display = ''; |
40 |
else |
else |