mailing-list for TeXmacs Users

["bai bai" <address@hidden>]

I use CJK language, texmacs can show CJK character correctly, but when I 
copy the CJK text or convert text to other format. There is a problem:

All CJK characters are like 
“<#5927><#5BB6><#8BA4><#4E3A><#7684><#6280><#672F><#6709><#54EA><#4E9B><#FF1F>”

I check the document, I think <#xxxx> is an internal format of the 
character, but I didn’t find a way to change such format.
I only want to copy text from texmacs to other editors.

I use MacOS 10.14 and texmacs 1.99.7(1.99.8 is so slow, is it a bug?).