Cambiare font in MySQLWorkbench

Question

Sto usando MySQLWorkbench 5.2, la versione più recente per quanto ne so, ma semplicemente non posso cambiare il font. È molto scomodo, perché il font predefinito è molto piccolo e aspro negli occhi. La scheda dell'aspetto contiene opzioni per la modifica del carattere, ma in questo caso non è possibile apportare alcuna modifica poiché il campo non può essere effettivamente modificato.

Qualcuno sa di un modo per aggirare questo? Sembra essere un errore comune, ma non riesco a trovare una soluzione da nessuna parte.

Answer 1

Negli

Modifica> Preferenze ...> Aspetto> sezione Font

della versione accennato, è possibile modificare il tipo di carattere, ma bisogna lentamente doppio click , come molto vistoso (o premere invio) e quindi manualmente è necessario digitare il nome del carattere seguito da uno spazio e dimensione del carattere per esempio Stati miei:

Source Sans Pro 10 

Inoltre, richiede il riavvio del programma.

Answer 2

Dopo l'installazione pulita MySQL Workbench (WB) 5.2.47 (Windows 7) su una nuova macchina, ho voluto il carattere Lucida Console come mi sono abituato, ma per qualche ragione WB sceglie un tipo di carattere diverso per parole chiave riservate , rendendo il codice illeggibile. Non ci sono impostazioni per le parole chiave riservate. Quindi non ho potuto facilmente cambiare questo modificando il file wp_options.xml. L'unica impostazione di carattere accettabile era Courier New.

Quindi sono passato a un'altra macchina e ho copiato wp_options.xml da un WB 5.2.47 con una cronologia degli aggiornamenti WB. Questo ha fatto il trucco, ha funzionato bene sul nuovo WB installato.

Guardando entrambi i file wp_options.xml in uno strumento di conversione del testo, ho notato molte differenze, ma nessuna di esse potrebbe spiegare la differenza. La mia conclusione è che Oracle ha bisogno di lavorare con la configurazione dell'interfaccia utente, poiché non è corretto che modifiche sottili e oscure nel file wp_options.xml siano quelle necessarie per rendere l'interfaccia utente WB accettabile.

Answer 3

Allo stesso modo per Mac OS X utilizzando il percorso nascosto sotto (ref: questo link):..

"È possibile modificare le preferenze direttamente nelle loro file XML Spegnere MWB Quindi modificare il file ~/Library/Application Supporto/MySQL/Workbench/wb_options.xml. Cerca la chiave workbench.general.Editor: Font e modifica il font lì. Ora riavvia MWB per vedere la tua modifica. "

Answer 4

Modifica -> Preferenze ... -> Aspetto -> sezione Font

Evidenziare una riga, fare clic ENTER, è possibile quindi modificare il font e la dimensione.

Riavviare l'app dopo.

Answer 5

Beh, volevo solo aumentare la dimensione del font solo perché era troppo piccolo nel mio WB 6.1. Riferito al link fornito da 'Kman' e ha fatto una cosa leggermente diversa.

1) In prossimità WB

2) Vai, C: \ Users \ Utente \ AppData \ Roaming \ MySQL \ Workbench \ wb_options.xml. Individuare "workbench.general.Editor: Font". Ho ottenuto - "Consolas 10" e l'ho cambiato in "Consolas 13". Aumenta il font fino a una dimensione comoda.