Subject: bug#15703: [PATCH 1/8] EWW: Support user defined representation for checkbox.

From: Rüdiger Sonderfeld <[email-masked]>
Date: Fri, 25 Oct 2013 19:39:50 +0200

On Friday 25 October 2013 11:00:20 Ted Zlatanov wrote:
> This seems very specific just for eww... maybe it should just use the
> recently added `prettify-symbols-mode'?

`prettify-symbols-mode' only works with font-lock-mode and it would be 
complicated to determine whether the [ ] or [x] are input-elements or literal 
text.  (Or can `prettify-symbols-mode' also match properties?)

Regards,
Rüdiger