Fichero opera6.ini para Opera 6

El fichero Opera6.ini contiene la práctica totalidad de los parámetros que Opera necesita para trabajar tal como queremos: bien, rápido y con elegancia.

Tiene el encanto de los ficheros *.ini del ya histórico Windows 3.1, permitiendo ajustar el funcionamiento del programa sin correr los riesgos de meter la pata al tocar el registro de Windows. Aunque buena parte de sus parámetros son modificables desde el interfaz de usuario (Archivo / Preferencias ), otros se establecen con la instalación o durante el funcionamiento de Opera y su modificación sólo es posible editando el Opera6.ini con alguna utilidad como el notepad.exe de Windows.

La modificación de este fichero debe hacerse con el Opera cerrado. La razón es que al cerrar Opera, opera6.ini se sobreescribe con los parámetros que hayamos cambiado durante la sesión.
Esta re-escritura del opera6.ini tiene una característica interesante: cuando Opera detecta que una variable ha cambiado su valor, la borra y la vuelve a escribir al final de la sección correspondiente. Por ejemplo, si teníamos que la ListaRápida estaba anclada y la cambiamos a flotante, Opera borra "isDocked=0" (flotante) y reescribe "isDocked=1" (anclada) al final de la sección [HotListWindow]. Ello permite averiguar que variable gestiona cada opción de menú o de Archivo / Preferencias.

Lo que hemos hecho en este documento es recopilar los parámetros del opera6.ini para la versión 6.04 (1135) y explicar brevemente cual es su cometido y los valores que admite. En otras versiones las variables pueden diferir en sus valores e incluso no existir. Ello se ha complementado con referencias a otros parámetros con cuyo funcionamiento tiene una estrecha relación, así como a algunas de las opciones para modificarlo desde la interfaz de usuario.

Debe tenerse en cuenta que los parámetros del opera6.ini los podemos agrupar en 3 bloques:
- De instalación. Son establecidos por Opera.exe al instalarse y raramente hay que modificarlos. Por ejemplo, los directorios.
- Valores por defecto. Dado que son eso, por defecto, no hace falta incluirlos en ninguna parte. Ello puede ser la causa de que algunos parámetros de los explicados no estén en tu opera6.ini.
- Valores modificados. Son los parámetros cuyos valores hemos personalizado según nuestros gustos o necesidades.

Recordar que para modificar el opera6.ini es necesario:
- Efectuar una copia previa a las modificaciones. Por si acaso. Nunca se sabe.
- Efectuar la modificación con el Opera cerrado.

Capítulos disponibles:

[User Prefs]
[HotListWindow]