PR# 17602 Fonts with dashes in name not working

When you use a font that has a dash (-) in its name, the preferences are not stored correctly. The reason is, that the preferences are stored as a string which uses dashes as a separator. Loading the string value then leads to a crash, as it is split incorrectly.

Install a font with a dash in its name, e.g: http://nodnod.net/2009/feb/12/adding-straight-single-and-double-quotes-inconsola/

Use it as the editor font in EiffelStudio, restart EiffelStudio, and open the preferences dialog.