Re: [O] org-info

2016-07-25 Thread Nicolas Goaziou
Hello, phillip.l...@russet.org.uk (Phillip Lord) writes: > Firstly, it's currently available and is linked into generated HTML at > http://orgmode.org/org-info.js; this makes it non-functional when > delivered via https. > > Secondly, in HTML generated by org mode, this license condition is > add

Re: [O] Org-info-js folding is broken in 8.3 releases

2015-09-06 Thread Piyush Srivastava
Of course, we will also need to change the regexp SID_REGEX (in org-info-src.js) to "/(^#)((sec-|orgheadline)\d+([._]\d+)*$)/" from the current value of "/(^#)(sec-\d+([._]\d+)*$)/". It's capturing groups are not used, to this should not propagate any more changes. On Sat, Sep 5, 2015 at 8:20 PM,

Re: [O] Org-info-js folding is broken in 8.3 releases

2015-09-06 Thread Piyush Srivastava
I think I have finally isolated a fix. org-info.js uses the magic number "4" (i.e. the length of the string "sec-") to substring DOM ids in order to fin section numbers (this is on line number 97 in the source code of org-info-src.js). However the changes to org-export-get-reference mean that in

Re: [O] Org-info-js folding is broken in 8.3 releases

2015-09-06 Thread Piyush Srivastava
In fact, further investigation shows that the first commit that actually breaks org-info-js is the replacement of `org-export-get-headline-id' by `org-export-get-reference' in commit id 459033 on April 13. These problems are temporarily fixed by commit cf7d64, and then reintroduced by commit 4ee8f