
<html>

  <head>

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

  </head>

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

    <div class="moz-cite-prefix">On 08/08/2023 13:18, Juergen Fenn

      wrote:

    </div>

    <blockquote type="cite"

      cite="mid:b30e5c32-58e0-4aff-aeb2-956a95086a41@gmx.net">

      <pre class="moz-quote-pre" wrap="">Philip,


thanks for your suggestions, but I'm on a Mac, and the behaviour I

described is what I would expect from a TeX editor. </pre>

    </blockquote>

    <p>OK, so your expectation is that if you enter "English" quotes on

      an editor configured to speak to its user in German, then you

      would expect those "English" quotes to be replaced by German

      ones.  I confess that I would not — I would want my editor to

      insert whatever quotes I type, as I might be editing a document in

      English one minute, in German the next, and in French shortly

      after ...</p>

    <p>I do, quite frequently, use French quotes to set off a stretch of

      text that itself contains English quotes, so in your model of how

      an editor should behave, how would you accomplish that ?  For the

      record, I enter my French quotes as Alt+0171 («) and Alt+0187 (»).<br>

    </p>

    -- <br>

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

  </body>

</html>