Re: Any objection to adding a unicode footnote style? (encoding fixed)

[Ted Zlatanov]

On Mon, 09 May 2011 19:55:49 +0300 Eli Zaretskii <address@hidden> wrote: 

>> From: Ted Zlatanov <address@hidden>
>> Date: Mon, 09 May 2011 11:22:47 -0500
>> 
EZ> What "superscript text properties"?
>> 
>> from shr.el, used for HTML superscripts:
>> 
>> (put-text-property start (point) 'display '(raise 0.5))
>> 
>> Would that work?

EZ> Oh, you mean `raise'...  Yes, that would work, although this is even
EZ> better:

EZ>   (put-text-property start (point) 'display '((height 0.8) (raise 0.5)))

OK.  Leo, do you want to make this improvement happen when
`display-graphic-p' is true?

Ted