Cambio de fuente en MySQLWorkbench

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.Cambio de fuente en MySQLWorkbench

¿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.

Fuente

2012-03-04 casper

5.2 es una serie larga. Exactamente qué versión 5.2.x tienes? – Sergio

Mi versión exacta es 5.2.38, la descargué hace solo un par de días, así que supongo que es la versión más reciente. – casper

Sí, hasta ahora 5.2.38 es la versión más reciente de WB. – Sergio

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.

Fuente

2013-05-22 21:41:00 varubi

También se aplica para MySQL Workbench 6.0.6. – broadband

También confirmado en MySQL Workbench 6.0.8. En lugar de un doble clic lento, siempre uso clic (para seleccionar), movimiento leve (para evitar el doble), clic (para la acción de edición) –

Simplemente presione intro en lugar de hacer doble clic, funciona en mi mac – Anil

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.

Fuente

2013-03-15 08:33:55 Gruber

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. "

Fuente

2013-04-17 11:59:13

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.

Fuente

2013-11-14 08:11:22 snowbound

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.

Fuente

2014-07-24 15:49:25

Respuesta

Cuestiones relacionadas