45def4b3b7
* Set a specific default editor font for Windows and macOS as GUI font isn't suitable * Fix wrong reference