
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">Bonjour Alain —</div>

    <div class="moz-cite-prefix"><br>

    </div>

    <div class="moz-cite-prefix">When you say « [...]<tt> </tt>and you

      directly edit the "texworks-config.txt" file », do you mean that

      (for you) the texworks-config.txt file automatically opens in the

      TeXworks source window at this point ?  If so, it does not for me

      (latest development version of TeXworks, Windows 7 64-bit).</div>

    -- <br>

    <i>Philip Taylor</i><br>

  </body>

</html>