Re: [PATCH] choices in org-id-find for handling missing ids

2021-09-25 Thread Bastien
Hi Marc, Marc Ihm writes: > So you may feel free to ignore it ... Done ;) It's good to have people paying attention to this feature anyway, so thanks! -- Bastien

Re: [PATCH] choices in org-id-find for handling missing ids

2021-06-12 Thread Marc Ihm
Hi once more, well after sending this patch I noticed, that org-id-update-id-locations has become orders of magnitude faster on my system; with org 9.4 it takes seconds instead of minutes as with org 9.3. Which is great news :-) This alone may dratically reduce the need for changing the behaviou

[PATCH] choices in org-id-find for handling missing ids

2021-06-12 Thread Marc-Oliver Ihm
Hi, please find attached a patch to allow more flexible handling of missing ids in org-id-find; some people (like me) tend to lose ids now and then and may benefit from more choices. The current behaviour of calling org-id-update-id-locations is pretty perfect for situations where the id has b