Davvero utilissima questa possibilità che ho appena imparato ad utilizzare con Opera Mini.
Il browser norvegese consente infatti di salvare nei propri preferiti dei bookmarklet. Cosa è un bookmarklet? Presto detto. Si tratta di un piccolo programma JavaScript che può essere memorizzato come un normale URL all’interno dei segnalibri. Il loro utilizzo consente di aggiungere funzionalità ad un browser, permettendo, con un solo click, di eseguire operazioni anche complesse, come ricerche web, estrazione di dati, ecc.
Non avrei mai pensato che fosse possibile utilizzarle anche con Opera Mini, e invece mi sono ricreduto, grazie a questo fantastico elenco. Tra i bookmarklet presenti, ve ne sono alcune che consentono, ad esempio, di tradurre la pagina corrente in italiano, di visualizzare le versioni precedenti presenti in Wayback Machine, di aggiungere un feed rss a google reader, e molti molti altri… ;)
[Via The UIQ Evangelist]
Anteprima del commento