28 28 underlying font in the OS.
29 29 * Critical errors on worker threads are now logged to console output (when
30 30 available) in more useful cases.
31 31
32 32 ### Windows
33 33
34 34 * Added an option to use standard Windows OS titlebars and window borders.
35 - * New users will use have the preference set to use standard window borders
35 + * New users will have the preference set to use standard window borders
36 36 by default. Existing users will continue to use the custom compact window
37 37 borders by default.
38 38 * This option can be changed in the "Fonts & Colors" tab in preferences,
39 39 above the window border colors/thickness options.
40 40 * This was originally implemented to work around native multi-DPI bugs in
41 41 Windows 8.1 and Windows 10 operating systems, but the bug was fixed by
42 42 Microsoft in Windows 10 1703 Creators Update (10.0.15002) in 2017.