[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Radio targets with mixed capitalisation do not work in HTML expo
From: |
Bastien |
Subject: |
Re: [O] Radio targets with mixed capitalisation do not work in HTML export |
Date: |
Mon, 24 Mar 2014 15:11:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
Hi Nicolas,
Nicolas Goaziou <address@hidden> writes:
> However, I'm not sure this is something desirable, but the apostrophe
> problem is mildly annoying.
My intuition is that midword matching will soon be used as a neat
trick, while preventing "target's" to match "<<<target>>>" will prove
annoying. Also, one can easily circumvent midword false positives by
using a slightly different word.
That's quite a premature and unstable intuition, but I think it's
worth trying if your intuition goes in the same direction. Otherwise
let's just prevent apostrophes.
Thanks again,
--
Bastien
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, (continued)
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/20
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Noah Slater, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/21
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/23
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/23
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/24
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export,
Bastien <=
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/25
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/25
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/24
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/17
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/17
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Nicolas Goaziou, 2014/03/17
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/17