[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] org-babel-demarcate-block: split using element API
From: |
gerard . vermeulen |
Subject: |
Re: [PATCH] org-babel-demarcate-block: split using element API |
Date: |
Sun, 25 Feb 2024 12:06:07 +0000 |
On 23.02.2024 14:43, Ihor Radchenko wrote:
gerard.vermeulen@posteo.net writes:
[...]
I rewrote my `org-babel-edit-prep:python' to get rid of user-errors
but
then I bumped on the user-error coming from
`org-src--make-source-overlay'.
This is strange. `org-src--make-source-overlay' does not use
`org-element' API. I cannot see how you are getting such warnings from
there.
I am using since a few days a clone of the mailed
`org-babel-edit-prep:python'
function (an irrelevant fix for setting point) and it works without
glitches.
I have no explanation of what happened.
I added the caveat:
This patch is incompatible with `org-babel-edit-prep:<LANG>' functions
that signal `user-error's.
to the commit message and cleaned it up a bit.
I also removed the scaffolding from the tests that checks where mark and
point are.
The tests pass with make test.
Patch attached.
Regards -- Gerard
0001-org-babel-demarcate-block-split-using-element-API.patch
Description: Binary data
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/19
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/19
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/21
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/21
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/22
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/23
- Re: [PATCH] org-babel-demarcate-block: split using element API,
gerard . vermeulen <=
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/25
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/26
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/28
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/29
- Re: [PATCH] org-babel-demarcate-block: split using element API, Ihor Radchenko, 2024/02/29
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/29
- Re: [PATCH] org-babel-demarcate-block: split using element API, gerard . vermeulen, 2024/02/26