sql >> Databasteknik >  >> RDS >> Mysql

Ändra teckensnitt i MySQL Workbench

I

av den nämnda versionen kan redigera typsnittet men du måste dubbelklicka långsamt , eftersom det är väldigt knasigt (eller tryck på Retur ) och sedan måste du manuellt skriva in teckensnittsnamnet följt av ett mellanslag och teckenstorlek, till exempel mina anger:

Source Sans Pro 10

Det kräver också en omstart av programmet .



  1. SQL Server Resumable Index:Är det bra för dig?

  2. PostgreSQL nästa värde för sekvenserna?

  3. Hur implementerar man LIMIT med SQL Server?

  4. Ladda upp blob-filer/bilder till Mysql