<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>