[htcalo]

Gracias Guti. Bien, entiendo, te pasa lo que a mi. Veo que es algo propio del Opera Mini.
En el Dolphin, o cualquier otro, si le das ahí te salen las diferentes opciones que tienes de búsqueda, como limitar la fecha, buscar por idioma, etc. Y yo eso si que lo usaba mucho.

Bueno, viendo que no tiene solución mantendré el Dolphin para cuando quiera buscar algo específico y el Mini para navegar normalmente, ya que me consume un montón de datos menos.

Por cierto, yo sigo teniendo el Android 2.3.4 (JB) y me venía con un Navegador 2.3.4. El original vamos. Y me va muy bien, lo único que no lo uso porque no tiene la opción de pestañas que lo encuentro muy util para moverte entre paginas. No hay manera de actualizar solo ese programa y poner uno más nuevo, con pestañas, y eliminar el viejo y el dolphin a la vez? Así tendría el navegador nativo actualizado y el Opera Mini.