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 20:58:11 +0200
Maybe I should continue with my questions on the texmacs-dev list? I have difficulties with compiling guile-1.8.8 on Ubuntu 22.04 (I guess there is no way to use a newer guile -- Ubuntu does not support version 1.x anymore).
Thanks for any hints in advance.
Best, Zoltan
Kovács Zoltán <address@hidden> ezt írta (időpont: 2022. szept. 22., Cs, 19:49):
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, ZoltanPhilippe 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@hiddenWeb: www.ph-linz.at
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.