coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?

From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Unicode tokens?
Date: Wed, 8 Mar 2017 21:36:09 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f44.google.com
Ironport-phdr: 9a23:qUkOWBT6qFq5B5zn1r6uTIyhbNpsv+yvbD5Q0YIujvd0So/mwa67bRWN2/xhgRfzUJnB7Loc0qyN4v2mBTBLuM3f+DBaKdoXCE9D0Z1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/hKiO/MjYZBwNjz6ga5tzKg+3pEPfrJo4m4xnf4M41hbL6lhPYOVVjTc1egzPlE6mt83urM5oqi8It6h9/pRNAPrxc/tmEbJwAzEvMmRz78ru40qQBTCT72cRBz1F2iFDBBLIuUn3

On 03/08/2017 08:07 PM, Clément Pit-Claudel wrote:
> On 2017-03-08 13:23, Matej Kosik wrote:
>> I guess that few people bother using Unicode glyphs because Emacs ships
>> broken fonts.
>
> Emacs doesn't ship fonts, as far as I know. What do you mean?

The line height and depth was quadriplicated when certain glyphs were
inserted on the current line.

(I jumped to the conclusion that this is because of some Emacs specific fonts
because I've seen this behavior only in Emacs, nowhere else).

Re: [Coq-Club] Unicode tokens?, (continued)