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

Subscribers: 411
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

Re: copy-pasting non-ASCII characters

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, 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

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

Archive powered by MHonArc 2.6.24.