Quindi sto utilizzando il workbench MySQL in una nuova impostazione DPI ad alta risoluzione. Se permetto a MySQL Workbench di usare le impostazioni DPI di Windows, il font diventa sfocato ovunque ma l'editor.MySQL Workbench High DPI
Se disattivo le impostazioni DPI (in Compatibilità) e aumentano le dimensioni del carattere nelle Preferenze di Workbench, sembra buono tranne il menu di sinistra (elenco degli schemi, elenco delle tabelle, informazioni sugli oggetti) che è un font molto piccolo. Qualcuno sa di una soluzione alternativa o un'alternativa a Workbench? Sarà difficile continuare a utilizzare Workbench con uno schermo ad alta risoluzione altrimenti. HeidiSQL ha sofferto dello stesso problema con i font DPI. Quindi è mal di testa o strabismo.
C'è parziale supporto per il rendering di hidpi, in particolare su Mac. Su Windows le cose sono molto più complicate perché Windows non ha una gestione rigorosa per monitor/output ad alta risoluzione, ma ci vorrà ancora un po 'di tempo prima che questo sia risolto –
@MikeLischke: Grazie. Le app di Windows in 8 sembrano grandi ad alto DPI, le poche che non lo sono di solito sono basate su Oracle: sembra Java e Workbench. È bello che ti permettono di regolare la dimensione del font dell'editor ma sembra un po 'inutile se puoi Regola tutti i font – Devon
Esattamente. A parte le app Java e il Workbench, tutto il resto è aggiornato e sembra magnifico. E non è che i display ad alta DPI siano qualcosa di nuovo, sono in giro per la piattaforma Windows da più di 2 anni. – andreimarinescu