[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: History for query replace pairs

From: Eli Zaretskii
Subject: Re: History for query replace pairs
Date: Sun, 09 Nov 2014 18:15:50 +0200

> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>,  address@hidden
> Date: Sat, 08 Nov 2014 21:01:54 -0500
> I know, but 
> > Then the most reliable detection would be to use char-displayable-p.
> char-displayable-p doesn't work reliably for text-terminals.

I think it's the other way around: it's not 100% reliable on GUI
frames, due to half-hearted way we test whether the available fonts
support the character.

> And of course we can't use the same separator globally, because
> char-displayable-p can return different results in different terminals
> (or even different frames).

Indeed, this test will need to be done each time the history element
is about to be displayed.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]