Re: Issue 5489: improve prall glyphs (issue 341560043 by address@hidden)

[David Kastrup]

address@hidden writes:

> On 2019/03/03 12:20:41, dak wrote:
>> More like
>>    str = re.sub (r'"scripts\.trilelement"', r'"scripts\.trillelement"',
> str)
>
>> Sort of ironic to use raw strings here for the sake of easier
>> backslash-quoting and then not even backslash-quote the necessary
> parts.
>
> I don’t know anything about python and what the r before the strings
> means. I just copied what I saw, that’s why I asked …

I read "it is as easy" rather than the "is it as easy" you actually
wrote.  Sorry for that.  Of course I also made a mistake since while the
first dot needs quoting, the second doesn't.  So it's more like

    str = re.sub (r'"scripts\.trilelement"', r'"scripts.trillelement"', str)


-- 
David Kastrup