Subject: mailing-list for TeXmacs Users
List archive
From : Kovács Zoltán <address@hidden>- To: Philippe Joyez <address@hidden>
- Cc: address@hidden
- Subject: Re: copy-pasting non-ASCII characters
- Date: Thu, 22 Sep 2022 19:49:15 +0200
Thanks, Philippe, I'll check it out. I guess most users (and software) use UTF8 encoding today, so it's safer to keep the text as is in general.
I will try to recompile TeXmacs on my Ubuntu and come back to you with the result.
Best, Zoltan
Philippe Joyez <address@hidden> ezt írta (időpont: 2022. szept. 22., Cs, 19:39):
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
Dr. Zoltán Kovács, MSc
Institut Ausbildung
Private Pädagogische Hochschule der Diözese Linz
Private University of Education, Diocese Linz
Salesianumweg 3, 4020 Linz
Mail: address@hidden
Web: www.ph-linz.at
- 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
- 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, Maxime Devos, 09/22/2022
- Re: copy-pasting non-ASCII characters, Kovács Zoltán, 09/21/2022
- Re: copy-pasting non-ASCII characters, Maxime Devos, 09/21/2022
Archive powered by MHonArc 2.6.24.