[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better emoji support
From: |
Robert Pluim |
Subject: |
Re: Better emoji support |
Date: |
Fri, 17 Sep 2021 19:10:23 +0200 |
>>>>> 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?
Robert
--
- Re: Better emoji support, (continued)
- Re: Better emoji support, Jean-Christophe Helary, 2021/09/17
- Re: Better emoji support, Daniel Martín, 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, 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 <=
- 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, 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