Hi Carsten and Sebastian,
Thanks for your quick response!
The current solution is good for me. :)
Xin
Carsten Dominik wrote:
On Apr 21, 2009, at 4:16 PM, Sebastian Rose wrote:
Hmm - the script supports two kinds of human readable IDs now. The old
ones (which where defined in the anchor
On Apr 21, 2009, at 4:16 PM, Sebastian Rose wrote:
Hmm - the script supports two kinds of human readable IDs now. The old
ones (which where defined in the anchor inside the the headline), and
the new ones, which are now defined in the headlines 'id' property.
Which one is now to prefer?
Wha
Hmm - the script supports two kinds of human readable IDs now. The old
ones (which where defined in the anchor inside the the headline), and
the new ones, which are now defined in the headlines 'id' property.
Which one is now to prefer?
What I did now, is to remove the regexp search at all (`^s
On Apr 21, 2009, at 1:31 PM, Sebastian Rose wrote:
OK. Should work now.
Old human readable IDs in headline's anchors are still prefered.
Also, org-info.js is now minified (no obfuscation) to decrease the
file
size by about 40%.
For those interested in hacking it, the plain org-info.js w
OK. Should work now.
Old human readable IDs in headline's anchors are still prefered.
Also, org-info.js is now minified (no obfuscation) to decrease the file
size by about 40%.
For those interested in hacking it, the plain org-info.js was moved to
org-info-src.js.
You may pull the script fro
Hi,
yes, my fault. I didn't get around to adjust org-info.js to the new
custom-ID feature. But this will happen tonight for sure. Sorry for the
delay.
The new version will be compatible with the ancient export.
Regards,
Sebastian
Xin Shi writes:
> Hello Experts,
>
> I've tried to use the
Sebastian still needs to fix org-info.js for the new setup.
- Carsten
On Apr 21, 2009, at 1:54 AM, Xin Shi wrote:
Hello Experts,
I've tried to use the new feature in 6.26a for custom IDs.
Unfortunately, those
sections have the custom IDs won't show up properly in the
javascript page. I
u
Hello Experts,
I've tried to use the new feature in 6.26a for custom IDs. Unfortunately, those
sections have the custom IDs won't show up properly in the javascript page. I
used the org-info.js(v.0.1.0.6). I'm wondering if the orgmode.org web
administrator could use this new feature for one of t
