20 |
// following reloads page in Opera == not good |
// following reloads page in Opera == not good |
21 |
//self.location = "#mfn"+o |
//self.location = "#mfn"+o |
22 |
var e = element_id('o'+o); |
var e = element_id('o'+o); |
23 |
|
var w = self.window; |
24 |
if (e) { |
if (e) { |
25 |
var y = findPosY(e); |
var y = findPosY(e); |
26 |
|
|
27 |
|
if (parent.element_id && parent.mfn_iframe) { |
28 |
|
var e2 = element_id('i'+parent.mfn_iframe[o]); |
29 |
|
if (e2) y += findPosY(e2); |
30 |
|
w = parent.window; |
31 |
|
} |
32 |
|
|
33 |
// position 30px above found term |
// position 30px above found term |
34 |
if (y > 30) y -= 30; |
if (y > 30) y -= 30; |
35 |
if (e) window.scrollTo(findPosX(e),y); |
if (e) w.scrollTo(findPosX(e),y); |
36 |
} |
} |
37 |
} |
} |
38 |
return true; |
return true; |