
<html>

  <head>

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

  </head>

  <body>

    <p><font face="Comic Sans MS">Hi Philip,</font><br>

    </p>

    <div class="moz-cite-prefix">Le 3/12/2022 à 15:32, Philip Taylor

      (Hellenic Institute) a écrit :<br>

    </div>

    <blockquote type="cite"

      cite="mid:3a50e9fd-c212-92f2-8139-713bf054ead1@Hellenic-Institute.Uk">

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

      <div class="moz-cite-prefix">Duncan Murdoch wrote:<br>

      </div>

      <blockquote type="cite"

        cite="mid:ef34dc56-5c0a-9796-dd7c-56d0cdf909ee@gmail.com">I have

        some old notes that say to change the file types listed in the

        File Open dialog, I should edit the texworks-config.txt file in

        the configuration directory.  I'm on a Mac, and see this file in

        ~/Library/TeXworks/configuration, but changes there appear to

        have no effect when I open TeXworks again.  I still see the old

        file types [...]<br>

      </blockquote>

      Rather than going directly to ~/Library/TeXworks/configuration, I

      would instead use the TeXworks "Help" menu, option "Settings and

      Resources", then follow the clickable link from "Resources" where

      you should see :<br>

    </blockquote>

    <p><tt>Under Windows, when you do </tt><tt>[use the TeXworks "Help"

        menu, option "Settings and Resources"] a box opens which shows a

        clickable link to the "Resources" folder and you directly edit

        the "</tt>texworks-config.txt" file.</p>

    <p>But thanks for the way to automatically reah the folder.</p>

    <p>--</p>

    <p>Alainc<br>

    </p>

  </body>

</html>