[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better emoji support
From: |
Stephen Berman |
Subject: |
Re: Better emoji support |
Date: |
Fri, 17 Sep 2021 19:17:14 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On Fri, 17 Sep 2021 19:10:23 +0200 Robert Pluim <rpluim@gmail.com> wrote:
>>>>>> On Fri, 17 Sep 2021 19:05:13 +0200, Stephen Berman
> <stephen.berman@gmx.net> said:
>
> Stephen> It's borked; here's the entire content:
>
> Stephen> ;;; charscript.el --- character script table -*-
> lexical-binding:t -*-
> Stephen> ;;; Automatically generated from admin/unidata/Blocks.txt
> Stephen> (let (script-list)
> Stephen> (dolist (elt '(
> Stephen> ))
> Stephen> (set-char-table-range char-script-table
> Stephen> (cons (car elt) (nth 1 elt)) (nth 2 elt))
> Stephen> (or (memq (nth 2 elt) script-list)
> Stephen> (setq script-list (cons (nth 2 elt) script-list))))
> Stephen> (set-char-table-extra-slot char-script-table 0 (nreverse
> script-list)))
>
>
> Stephen> (provide 'charscript)
>
> Hmm. What does '/usr/bin/awk --version' on your system?
$ /usr/bin/awk --version
GNU Awk 5.1.0, API: 3.0 (GNU MPFR 4.1.0, GNU MP 6.2.1)
Copyright (C) 1989, 1991-2020 Free Software Foundation.
Steve Berman
- Re: Better emoji support, (continued)
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Eli Zaretskii, 2021/09/17
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support,
Stephen Berman <=
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Robert Pluim, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, Stephen Berman, 2021/09/17
- Re: Better emoji support, Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, martin rudalics, 2021/09/17
- Re: Better emoji support, Eli Zaretskii, 2021/09/17
- Re: Better emoji support, Robert Pluim, 2021/09/17