Re: face vs. mouse-face text property

[Eli Zaretskii]

> From: chad <address@hidden>
> Date: Mon, 23 Jan 2012 13:09:45 -0800
> Cc: address@hidden
> 
> 
> [1:text/plain Hide]
> 
> On Jan 23, 2012, at 12:44 PM, Eli Zaretskii wrote:
> 
> >> From: chad <address@hidden>
> >> Maybe ␤ and ⇥ would be useful here?
> > 
> > What will that do on a TTY?
> 
> 
> The same thing that quotation marks do

The characters you propose are much less popular, so run greater risk
of being not covered by the console fonts.