sql >> Database >  >> RDS >> Mysql

Lettertype wijzigen in MySQL Workbench

In de

van de genoemde versie, kunt u kunt bewerk het lettertype, maar je moet langzaam dubbelklikken , omdat het erg wankel is (of druk op enter ) en dan moet je handmatig de naam van het lettertype typen, gevolgd door een spatie en lettergrootte, bijvoorbeeld mijn staten:

Source Sans Pro 10

Het vereist ook een herstart van het programma .



  1. MySQL-opslagduur - datatype?

  2. SQL retourneert 100 willekeurige rijen voor elke leeftijd

  3. Inleiding tot PL/SQL VARRAY's in Oracle Database

  4. Hoe de reden van de impasse in sql server ro14 te vinden?