Cambio de fuente en MySQLWorkbench

Question

Estoy usando MySQLWorkbench 5.2, la versión más reciente que yo sepa, pero simplemente no puedo cambiar la fuente. Es muy inconveniente, porque la fuente predeterminada es muy pequeña y dura para los ojos. La pestaña de apariencia tiene opciones para cambiar la fuente, pero no se puede realizar ningún cambio allí, ya que el campo no se puede editar.

¿Alguien sabe de una forma de evitar esto? Parece ser un error común, pero no puedo encontrar una solución en ningún lado.

Answer 1

En los

Edición> Preferencias ...> apariencia> sección Fuentes

de la versión mencionada, se puede editar el tipo de letra, pero que tiene que hacer doble clic lentamente , ya que es muy inestable (o presione enter) y luego manualmente debe ingresar el nombre de la fuente seguido de un espacio y tamaño de letra, por ejemplo, estados de mina:

Source Sans Pro 10 

También es requiere un reinicio del programa.

Answer 2

limpia después de instalar MySQL Workbench (BM) 05/02/47 (Windows 7) en una máquina nueva, yo quería que el fuente Lucida Console como yo estoy acostumbrado, pero por alguna razón WB elige una fuente diferente para palabras clave reservadas , haciendo que el código sea ilegible No hay configuración para palabras clave reservadas. Así que no pude cambiar esto fácilmente editando el archivo wp_options.xml. La única configuración de fuente aceptable fue Courier New.

Luego fui a otra máquina y copié wp_options.xml de un WB 5.2.47 que tenía un historial de actualizaciones de WB. Eso hizo el truco, funcionó bien en el recién instalado WB.

Mirando los dos archivos wp_options.xml en una herramienta de diferencia de texto, noté muchas diferencias, pero ninguna que pudiera explicar la diferencia. Mi conclusión es que Oracle necesita trabajar con la configuración de la interfaz de usuario, ya que no está bien que se necesiten ediciones sutiles y poco claras en el archivo wp_options.xml para que la interfaz de usuario del WB sea aceptable.

Answer 3

mismo modo para Mac OS X utilizando la ruta escondida debajo (ref: este link):..

"Puede editar las preferencias directamente en sus archivos XML Apagar MWB A continuación, editar el archivo ~/Library/Application Support Soporte/MySQL/Workbench/wb_options.xml. Busque la clave workbench.general.Editor: Font, y cambie la fuente allí. Ahora reinicie MWB para ver su cambio. "

Answer 4

Editar -> Preferencias ... -> Apariencia -> sección Fuentes

Resalte una fila, haga clic en Entrar, a continuación, puede editar el tipo de letra y tamaño.

Reinicia la aplicación después.

Answer 5

Bueno, solo quería aumentar el tamaño de la fuente solo porque era demasiado pequeño en mi WB 6.1. Referido el enlace dado por 'Kman' e hizo algo un poco diferente.

1) Cerca WB

2) Ir a, C: \ Users \ Usuario \ AppData \ Roaming \ MySQL \ Workbench \ wb_options.xml. Busque "workbench.general.Editor: Font". Obtuve- 'Consolas 10' allí y lo cambié a 'Consolas 13'. Eso aumentó la fuente a un tamaño cómodo.