Source de js/highlight_utils.js
prev=0
pfx='found_'
obg=''
function gotoFound(i)
{
if (prev) {
p=getE(pfx+prev)
p.style.border=0
p.style.backgroundColor=obg
p.style.color='black'
}
e=getE(pfx+i)
if (!e) {
i=1
e=getE(pfx+i)
}
e.style.border='1px dashed black'
obg=getS(e,'background-color','backgroundColor')
e.style.backgroundColor='#f6bf00'
scrollTo(0,getTopOffset(e)-100)
prev=i
return false
}
pfx='found_'
obg=''
function gotoFound(i)
{
if (prev) {
p=getE(pfx+prev)
p.style.border=0
p.style.backgroundColor=obg
p.style.color='black'
}
e=getE(pfx+i)
if (!e) {
i=1
e=getE(pfx+i)
}
e.style.border='1px dashed black'
obg=getS(e,'background-color','backgroundColor')
e.style.backgroundColor='#f6bf00'
scrollTo(0,getTopOffset(e)-100)
prev=i
return false
}
Si avez des problèmes ou des questions concernant ce fichier source, vous pouvez utiliser le Forum Sources du site