On 02/20/2018 06:10 PM, Hans Hagen wrote:
> [...]
> local name = P("\\") * (patterns.utf8char + S("@!?_"))^1
After checking other code samples, I realized that the approach had to
be different:
local name = P("\\") * (patterns.letter + S("@!?_") +
patterns.utf8two + patterns.utf8three +
On 02/20/2018 06:10 PM, Hans Hagen wrote:
> On 2/20/2018 5:18 PM, Pablo Rodriguez wrote:
>> [...]
>> I’m afraid it might be a bug.
>
> local name = P("\\") * (patterns.utf8char + S("@!?_"))^1
Hans,
I’m afraid that my previous reply was too fast.
Just after testing it worked, I saw it broke
On 02/20/2018 06:10 PM, Hans Hagen wrote:
> On 2/20/2018 5:18 PM, Pablo Rodriguez wrote:
>> [...]
>> I’m afraid it might be a bug.
>
> local name = P("\\") * (patterns.utf8char + S("@!?_"))^1
Many thanks for your fast fix, Hans.
Pablo
--
http://www.ousia.tk
On 2/20/2018 5:18 PM, Pablo Rodriguez wrote:
On 02/20/2018 09:32 AM, Hans Hagen wrote:
On 2/19/2018 10:14 PM, Pablo Rodriguez wrote:
[...]
For some strange reason, "\␣" is problematic only when
\xmlprettyprinttext (or \xmlinlineprettyprinttext) is set to tex.
Is this a bug or am I missing
On 02/20/2018 09:32 AM, Hans Hagen wrote:
> On 2/19/2018 10:14 PM, Pablo Rodriguez wrote:
>> [...]
>> For some strange reason, "\␣" is problematic only when
>> \xmlprettyprinttext (or \xmlinlineprettyprinttext) is set to tex.
>>
>> Is this a bug or am I missing something?
> are you sure that the
On 2/19/2018 10:14 PM, Pablo Rodriguez wrote:
Hans,
I have the following sample:
\startbuffer[demo]
b
\␣
\stopbuffer
\startxmlsetups xml:initialize
\xmlsetsetup{#1}{doc|p|code}{xml:*}
\stopxmlsetups
\xmlregistersetup{xml:initialize}
\startxmlsetups
