GNU bug report logs - #15703
[PATCH 1/8] EWW: Support user defined representation for checkbox.

Previous Next

Package: emacs;

Reported by: RĂ¼diger Sonderfeld <ruediger <at> c-plusplus.de>

Date: Thu, 24 Oct 2013 23:44:05 UTC

Severity: normal

Tags: fixed, patch

Merged with 15702, 15704, 15705, 15706, 15707, 15708, 15709, 15710

Fixed in version 24.4

Done: Lars Magne Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log


Message #22 received at 15703 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: RĂ¼diger Sonderfeld <ruediger <at> c-plusplus.de>
Cc: 15703 <at> debbugs.gnu.org, larsi <at> gnus.org
Subject: Re: bug#15703: [PATCH 1/8] EWW: Support user defined representation
 for checkbox.
Date: Fri, 25 Oct 2013 21:54:12 -0400
> Ah, OK, I see.  But it seems like kind of the same ideas, so maybe a
> generic facility would be useful... not a font-lock interaction, but for
> keeping the record of "this string maps to this Unicode symbol"?
> Basically a big hashtable with some user control.  Then
> `prettify-symbols-mode' could use that facility too.

I think it'd be easier to go the other way around: provide an
replacement to use if/when the display font doesn't provide a glyph for
that characters.


        Stefan




This bug report was last modified 11 years and 231 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.