[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] org-export: Remove zero-width space escapes during export
From: |
András Simonyi |
Subject: |
Re: [PATCH] org-export: Remove zero-width space escapes during export |
Date: |
Tue, 26 Jul 2022 17:27:33 +0200 |
Dear All,
this might be a very stupid question as I'm not familiar with the
internals of the Org export engine, but couldn't this change lead to
problems with the Org-to-Org export of documents containing these
"semantic separators"?
thanks and best wishes,
András
On Tue, 26 Jul 2022 at 16:52, Timothy <orgmode@tec.tecosaur.net> wrote:
>
> Hi Ihor,
>
> > I am attaching a tentative patch that will make Org export remove
> > zero-width spaces when those spaces actually separate the object
> > boundaries.
> >
> > Any objections?
>
> IMO this is an immanently sensible idea. I added an export filter like this to
> my config basically as soon as I found out about zero-width spaces.
>
> One minor quibble, I find the name mildly misleading. When you say “escaped” I
> think of escaped characters, which isn’t really connected to what the zero
> width
> does. I’d personally be inclined to call the zero width space an “invisible
> semantic separator”.
>
> > +(defun org-export–remove-escaped (data info)
> > + “Remove escape symbols from plain-text in DATA.
> > +DATA is a parse tree or a secondary string. INFO is a plist
> > +containing export options. It is modified by side effect and
> > +returned by the function.”
>
> How about:
>
> ┌────
> │ (defun org-export--remove-semantic-separators (data info)
> │ "Remove Org-specific semantic separators from plain-text in DATA.
> │ DATA is a parse tree or a secondary string. INFO is a plist
> │ containing export options. It is modified by side effect and
> │ returned by the function."
> └────
>
> All the best,
> Timothy
- Re: How to force markup without spaces, K, 2022/07/25
- Re: How to force markup without spaces, K, 2022/07/25
- Re: How to force markup without spaces, Ihor Radchenko, 2022/07/25
- Re: How to force markup without spaces, Max Nikulin, 2022/07/25
- Re: How to force markup without spaces, K K, 2022/07/26
- Re: How to force markup without spaces, Max Nikulin, 2022/07/26
- [PATCH] org-export: Remove zero-width space escapes during export, Ihor Radchenko, 2022/07/26
- Re: [PATCH] org-export: Remove zero-width space escapes during export, Timothy, 2022/07/26
- Re: [PATCH] org-export: Remove zero-width space escapes during export,
András Simonyi <=
- Re: [PATCH] org-export: Remove zero-width space escapes during export, Max Nikulin, 2022/07/26
- Re: [PATCH] org-export: Remove zero-width space escapes during export, Max Nikulin, 2022/07/26
- [PATCH] Add new entity \-- serving as markup separator/escape symbol, Ihor Radchenko, 2022/07/28
- Re: [PATCH] Add new entity \-- serving as markup separator/escape symbol, Max Nikulin, 2022/07/28
- Re: [PATCH] Add new entity \-- serving as markup separator/escape symbol, Ihor Radchenko, 2022/07/28
- Re: [PATCH] Add new entity \-- serving as markup separator/escape symbol, Max Nikulin, 2022/07/28
- [PATCH v2] Add new entity \-- serving as markup separator/escape symbol, Ihor Radchenko, 2022/07/29
- Re: [PATCH v2] Add new entity \-- serving as markup separator/escape symbol, Samuel Wales, 2022/07/29
- Re: [PATCH v2] Add new entity \-- serving as markup separator/escape symbol, Samuel Wales, 2022/07/30
- Re: [PATCH v2] Add new entity \-- serving as markup separator/escape symbol, Ihor Radchenko, 2022/07/30