[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: |
Nicolas Goaziou |
Subject: |
Re: [O] Radio targets with mixed capitalisation do not work in HTML export |
Date: |
Mon, 17 Mar 2014 13:38:39 +0100 |
Bastien <address@hidden> writes:
> I don't get the logic: the output text has two parts: the target of
> the link, the description of the link. It the example above, the
> Target is "Hello World", and should be rewritten "Hello-World" to
> escape spaces. The description is "hello world" and should not be
> rewritten, it must appears the same way to the user.
Actually, the target is "hello-world". On latest "maint", with your
example, I get:
--8<---------------cut here---------------start------------->8---
<p>
<a id="hello-world">Hello World</a>
</p>
<p>
Let’s say <a href="#hello-world">Hello World</a> to test.</p>
--8<---------------cut here---------------end--------------->8---
It looks good to me.
>> Anyway, I think the solution is to slightly change the parser to enforce
>> case-insensitivity.
>
> I thought about this, but it does not solve the problem of displaying
> the target instead of the link description.
I cannot reproduce this problem.
Regards,
--
Nicolas Goaziou
- 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, 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, 2014/03/24
- 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 <=
- 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