[AUCTeX-devel] PUA characters in Emacs/AUCTeX

[Janusz S. Bień]

Hi!

I've just subscribed to this list to ask you for an opinion about my
feature request:

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32599
https://groups.google.com/forum/#!msg/gnu.emacs.bug/SK-RO_OG_GQ/BmUzA-23AgAJ

Unfortunately at these addresses you can find only old posts, without the
recent live exchange of mails with Eli Zaretskii. I quote below the most
important fragments of them.

On Sun, May 26 2019 at 10:10 +02, Janusz S. Bień wrote:

[...]

> If you prefer a file pattern after UnicodeData.txt, you can find it
> here:
>
> http://www.kreativekorp.com/charset/PUADATA/PUBLIC/MUFI/

On Mon, May 27 2019 at  7:48 +02, Janusz S. Bień wrote:
> On Sun, May 26 2019 at 21:52 +03, Eli Zaretskii wrote:
>
> [...]
>
>> Personally, I'm surprised people use PUA for
>> these purposes,
>
> Which purposes? Cf.
>
> https://en.wikipedia.org/wiki/Private_Use_Areas
> http://www.kreativekorp.com/charset/PUADATA/
> http://bit.ly/2XVTzRL-LINCUA
>
>> and even more surprised they expect Emacs to support
>> this.  But that's me.
>
> PUA characters, especially MUFI, are needed to typeset some
> texts. (XeLa)TeX is still a very good typesetting system and Emacs-based
> AUCTeX is still a very good tool to use TeX.

On Mon, May 27 2019 at 19:39 +02, Janusz S. Bień wrote:
> On Mon, May 27 2019 at 20:11 +03, Eli Zaretskii wrote:

[...]

>> Asking Emacs to maintain compatibility to various ad-hoc registries
>> outside of Unicode is not really reasonable.
>
> Yes, but it is not what I propose. I just would like the user to be able to
> use his own definition of PUA provided in the form of an additional
> UnicodeData.txt (not necessarily as a part of Unicode, it can be perhaps
> a different coding system).

Actually Eli Zaretskii made also some interesting comments about how Unicode
support is implemented, I can forward them too if you are interested.

If you think this is outside you scope of interest, just let me know.

Thank you for your work on AUCTeX.

Best regards

Janusz

-- 
             ,   
Janusz S. Bien
emeryt (emeritus)
https://sites.google.com/view/jsbien