L'aggiornamento a Windows 10 interrompe il workbench MySQL?

Question

Recentemente ho aggiornato alla versione rilasciata di Windows 10 utilizzando la funzione di aggiornamento automatico da Windows 8. Oltre ad alcune altre cose che si rompono, sembra che MySQL Workbench sia ora rotto.

Il programma inizia bene, ma quando si tenta di connettersi a un database, si sono presentati con un errore fatale:

The type initializer for 'HtmlRenderer.Utils.FontsUtils' threw an exception.

Questo si verifica anche dopo un riavvio e sembra verificarsi ogni volta.

Answer 1

Il problema si verifica a causa della dll di rendering HTML inclusa in Workbench. I dettagli completi del bug sono here.

Per una soluzione rapida, grazie alla Michael Gaillez e Frank Quintero, il codice incriminato è in questo repo: https://github.com/ArthurHub/HTML-Renderer

di risolvere da soli, sostituire questo codice:

static FontsUtils() 
    { 
     _fontsMapping["monospace"] = "Courier New"; 
     _fontsMapping["Helvetica"] = "Arial"; 

     foreach (var family in FontFamily.Families) 
     { 
      _existingFontFamilies.Add(family.Name, family); 
     } 
    } 

con questo codice:

static FontsUtils() 
    { 
     _fontsMapping["monospace"] = "Courier New"; 
     _fontsMapping["Helvetica"] = "Arial"; 

     foreach (var family in FontFamily.Families) 
     { 
      if (!_existingFontFamilies.ContainsKey(family.Name)) 
      { 
       _existingFontFamilies.Add(family.Name, family); 
      } 
     } 
    } 

Or download this DLL instead: https://bugs.mysql.com/file.php?id=22868&bug_id=75673

Si desidera inserire questa nuova DLL nella cartella Workbench, che, per me, è C:\Program Files\MySQL\MySQL Workbench 6.3 CE\

Answer 2

Basta reinstallare Workbench, che lo aggiusterà.