sql >> Base de Datos >  >> RDS >> Mysql

Cambio de fuente en MySQL Workbench

en el

de la versión mencionada, usted puede edite la fuente, pero debe hacer doble clic lentamente , ya que es muy raro (o presione enter ) y luego debe escribir manualmente el nombre de la fuente seguido de un espacio y tamaño de fuente, por ejemplo, los estados míos:

Source Sans Pro 10

También requiere un reinicio del programa .