[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.
- Re: History for query replace pairs, (continued)
- Re: History for query replace pairs, Stefan Monnier, 2014/11/05
- Re: History for query replace pairs, Juri Linkov, 2014/11/07
- Re: History for query replace pairs, Ted Zlatanov, 2014/11/07
- Re: History for query replace pairs, Eli Zaretskii, 2014/11/08
- Re: History for query replace pairs, Juri Linkov, 2014/11/08
- Re: History for query replace pairs, Eli Zaretskii, 2014/11/08
- Re: History for query replace pairs, Stefan Monnier, 2014/11/08
- Re: History for query replace pairs, Eli Zaretskii, 2014/11/08
- Re: History for query replace pairs, Juri Linkov, 2014/11/08
- Re: History for query replace pairs, Stefan Monnier, 2014/11/08
- Re: History for query replace pairs,
Eli Zaretskii <=
- Re: History for query replace pairs, Juri Linkov, 2014/11/09
- Re: History for query replace pairs, Stefan Monnier, 2014/11/09
- Re: History for query replace pairs, Juri Linkov, 2014/11/09
- Re: History for query replace pairs, Stefan Monnier, 2014/11/09
- Re: History for query replace pairs, Paul Eggert, 2014/11/08
- Re: History for query replace pairs, Juri Linkov, 2014/11/09
- Re: History for query replace pairs, Juri Linkov, 2014/11/08
- Re: History for query replace pairs, Eli Zaretskii, 2014/11/09
- Re: History for query replace pairs, Juri Linkov, 2014/11/08
- Re: History for query replace pairs, Eli Zaretskii, 2014/11/08