texmacs-users - Re: copy-pasting non-ASCII characters

Subject: mailing-list for TeXmacs Users

List archive

Re: copy-pasting non-ASCII characters

From: "Philippe Joyez" <address@hidden>
To: address@hidden,address@hidden
Subject: Re: copy-pasting non-ASCII characters
Date: Thu, 22 Sep 2022 19:39:26 +0200

Hi Zoltán and Maxime,

What you see Zoltán, is due to http://savannah.gnu.org/bugs/?61228 . There is
a proposed fix for this bug in comment #1. Someone familiar with these
languages settings should try it and check it does not introduce bigger issues
elsewhere.

Best,
Philippe

copy-pasting non-ASCII characters, Kovács Zoltán, 09/21/2022
- Re: copy-pasting non-ASCII characters, Maxime Devos, 09/21/2022
  - Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/21/2022
    - Re: copy-pasting non-ASCII characters, Maxime Devos, 09/22/2022
      - Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/22/2022
        
        Re: copy-pasting non-ASCII characters, Philippe Joyez, 09/22/2022
        
        Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/22/2022
        
        Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/22/2022
        Re: copy-pasting non-ASCII characters, Giovanni Piredda, 09/22/2022
        Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/23/2022

List archive

Re: copy-pasting non-ASCII characters