<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Jari et al,<br>
<br>
yesterday Windows 10 installed its huge Fall Creators Update on my
PC (took about half an hour).<br>
<br>
I noticed that the font of the JW Lua dialogs has changed which may
affect the spacing in the dialogs:<br>
the font looks more condensed now. <br>
If you used tabs or explicit line breaks for better readability in
dialogs, it may look messed up now.<br>
<br>
I don't know if this can be changed back anywhere in the Windows
settings or if this is the new Windows standard.<br>
Many Windows user settings seem to have been reset by the update.
For example all my printer default paper settings are gone and even
my default printer disappeared.<br>
<br>
Have you noticed similar weird things?<br>
<br>
Best,<br>
Jan<br>
<br>
</body>
</html>