15 |
} |
} |
16 |
|
|
17 |
function element_id(id) { |
function element_id(id) { |
18 |
|
//debug("id: "+id); |
19 |
if (id_cache[id]) { |
if (id_cache[id]) { |
20 |
//debug("from cache "+id+" == "+id_cache[id]); |
//debug("from cache "+id+" == "+id_cache[id]); |
21 |
return id_cache[id]; |
return id_cache[id]; |
111 |
|
|
112 |
var el = element_id(name); |
var el = element_id(name); |
113 |
|
|
114 |
|
//debug("outline "+name); |
115 |
|
|
116 |
if (el) { |
if (el) { |
117 |
el.style.backgroundColor = "#e0e0e0"; |
el.style.backgroundColor = "#ffff66"; |
118 |
el.style.border = "1px dashed #c0c0c0"; |
//el.style.border = "1px dashed #c0c0c0"; |
119 |
|
|
120 |
if (el.style.display=='none') toggle_display(el.id); |
if (el.style.display=='none') toggle_display(el.id); |
121 |
|
|