Cercare una parola su una pagina di Internet Explorer 9

Quando siamo alla ricerca di informazioni, spesso torna utile (specialmente nei forum) cercare direttamente una parola senza doversi leggere tutti i commenti delle persone; ecco che un piccolo trucchetto può tornarci utile e immediato:

1) apriamo il nostro browser dal telefonino (Internet Explorer)

2) andiamo in una pagina a caso (non interessa quale sia)

3) a questo punto clicchiamo sui 3 puntini in basso a destra per aprire le varie opzioni;

4) andiamo su “aggiungi ai preferiti”

5) alla voce “indirizzo web” facciamo un bel copia-incolla di questo link:

javascript: (function(){function G(){var pf=doc.getElementById(‘pf’);var qt=doc.getElementById(‘qt’);if(null==pf){pf=doc.createElement(‘div’);pf.id=’pf’;var s=pf.style;s.position=’absolute’;s.zIndex=’99′;s.top=(scT||scBT)+’px’;s.left=(scL||scBL)+’px’;s.width=’100%’;s.backgroundColor=’#6698FF’;pf.appendChild(doc.createTextNode(‘Cosa cerchi?’));qt=doc.createElement(‘input’);qt.id=’qt’;qt.type=’text’;pf.appendChild(qt);var sb=doc.createElement(‘input’);sb.type=’button’;sb.value=’Trova’;sb.onclick=function(){P(qt.value)};pf.appendChild(sb);doc.body.appendChild(pf);}else{pf.style.display=’inline’;count=0;}}function P(s){document.getElementById(‘pf’).style.display=’none’;if(s===”)return;var n=srchNode(document.body,s.toUpperCase(),s.length);alert(“Ho trovato “+count+” risultati”+(count==1?”":”s”)+” per’”+s+”‘.”);pf.parentNode.removeChild(pf);return n;}function srchNode(node,te,len){var pos,skip,spannode,middlebit,endbit,middleclone;skip=0;if(node.nodeType==3){pos=node.data.toUpperCase().indexOf(te);if(pos>=0)
{spannode=document.createElement(“SPAN”);spannode.style.backgroundColor=”cyan”;middlebit=node.
splitText(pos)
;endbit=mi
ddlebit.splitText(len);middleclone=middlebit.cloneNode
(true);spannode.appendChild(middleclone)
;middlebit.parentNode.replaceChild(spannode,middlebit);++count;skip=1;}}else
{if(node.nodeType==1&node.childNodes&node.tagName.toUpperCase()!
=”SCRIPT”&node.tagName.toUpperCase!=”STYLE”){for(var child=0;child

Consiglio di fare un pinch to zoom per ingrandire l’immagine.