GNU bug report logs -
#15703
[PATCH 1/8] EWW: Support user defined representation for checkbox.
Previous Next
Full log
Message #19 received at 15703 <at> debbugs.gnu.org (full text, mbox):
On Fri, 25 Oct 2013 19:39:50 +0200 Rüdiger Sonderfeld <ruediger <at> c-plusplus.de> wrote:
RS> 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'?
RS> `prettify-symbols-mode' only works with font-lock-mode
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.
RS> and it would be complicated to determine whether the [ ] or [x] are
RS> input-elements or literal text. (Or can `prettify-symbols-mode'
RS> also match properties?)
It can't, but this theoretical generic facility could filter by property
as well, not just by string. Something like:
(setq output (generic-unicode-symbol-replace "input-string-with-properties"))
and the record would be: key "[]", value: '(:symbol unicode-checkmark :properties (...))
I'm just thinking out loud. Sorry if this looks like overengineering
the problem, but it seems to me that this would be generally useful.
Oh, for example Gnus has special functionality to draw the thread trees.
Users like to control that kind of customization.
Another example: I would use ◐◑◒◓◔◕ in many places that show progress if
I could. But perhaps that's too arcane :)
Ted
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.