[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 11:11:34 +0100 |
Hello,
Bastien <address@hidden> writes:
> Nicolas, I modified the logic for radio link export in ox-html.el,
> ox-latex.el and ox-beamer.el. I also modified the use of the target
> instead of the path in ox-ascii.el. Can you review this change
> (http://orgmode.org/cgit.cgi/org-mode.git/commit/?id=d2e7b1b) and
> confirm it does the right thing?
Actually, even though it works if you test it on cases like:
<<<Foo>>> foo
it isn't right on more complex cases:
<<<with \alpha>>> with \alpha
As you can see, the logic is right in ox-latex.el, ox-html.el and
ox-beamer.el.
Anyway, I think the solution is to slightly change the parser to enforce
case-insensitivity. Some additional properties need to be added in order
to preserve original contents of both radio links and radio targets.
I pushed such a change. Is it working as expected?
Regards,
--
Nicolas Goaziou
- [O] Radio targets with mixed capitalisation do not work in HTML export, Noah Slater, 2014/03/03
- Re: [O] Radio targets with mixed capitalisation do not work in HTML export, Bastien, 2014/03/16
- 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, 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
- 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