Mysql
 sql >> Database >  >> RDS >> Mysql

Modifica del carattere in MySQL Workbench

Nel

della versione menzionata, puoi modifica il carattere ma devi fare doppio clic lentamente , poiché è molto strano (o premi invio ) e quindi devi digitare manualmente il nome del carattere seguito da uno spazio e dalla dimensione del carattere, ad esempio il mio afferma:

Source Sans Pro 10

Inoltre richiede il riavvio del programma .