[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] org-element approach to modify or add ID to every headline
|
From: |
Grant Rettke |
|
Subject: |
Re: [O] org-element approach to modify or add ID to every headline |
|
Date: |
Sun, 9 Aug 2015 20:23:25 -0500 |
On Sun, Aug 9, 2015 at 2:44 AM, Nicolas Goaziou <address@hidden> wrote:
> Anyway, the following should do:
That works perfectly. Thank you.
Tempted to run it in a on-save hook just to ensure that the document
*always* has IDs. At least for tangle comments.