tema - cambiar color mysql workbench

Cambio de fuente en MySQLWorkbench

Question

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

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

Answer 1

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

1) Cerrar WB

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

Answer 2

De manera similar, para Mac OS X usando la ruta oculta a continuación (ref: este link ):

"Puede editar las preferencias directamente en sus archivos XML. Cierre MWB. Luego edite el archivo ~ / Library / Application Support / MySQL / Workbench / wb_options.xml. Busque la clave workbench.general.Editor: Fuente, y cambie la fuente allí. Ahora reinicia MWB para ver tu cambio ".

Answer 3

Después de limpiar la instalación de MySQL Workbench (WB) 5.2.47 (Windows 7) en una máquina nueva, quería la fuente de Lucida Console, como estoy acostumbrado, pero por alguna razón WB elige una fuente diferente para las palabras clave reservadas, haciendo que el código sea ilegible. No hay configuración para palabras clave reservadas. Así que no podría cambiar esto fácilmente editando el archivo wp_options.xml . La única configuración de fuente que era aceptable era 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 WB recién instalado.

Al wp_options.xml los dos archivos wp_options.xml en una herramienta de diferenciación 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 las ediciones sutiles y oscuras en el archivo wp_options.xml sean las necesarias para que la interfaz de usuario de WB sea aceptable.

Answer 4

Editar -> Preferencias ... -> Apariencia -> Sección de fuentes

Resalte una fila, haga clic en ENTRAR, luego puede editar la fuente y el tamaño.

Reinicie la aplicación después.

Answer 5

En el

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

de la versión mencionada, puede editar la fuente pero tiene que hacer doble clic lentamente , ya que es muy extraño ( o presionar intro ) y luego manualmente debe escribir el nombre de la fuente seguido de un espacio y un tamaño de fuente, por ejemplo, estados de la mina:

Source Sans Pro 10

También requiere un reinicio del programa .