On Mon, 20 Jul 2020 at 03:11, Richard Kimberly Heck <rikih...@lyx.org>
wrote:

> On 7/19/20 8:30 PM, Thibaut Cuvelier wrote:
>
> Dear Riki,
>
> As you indicated being the culprit behind the XHTML code ;), I've got a
> question for you: why is there a point at the end of the cleaned ID if it
> ends with a digit? I'm referring to this part of the code:
>
> if (isDigitASCII(content[content.size() - 1]))
> content += ".";
>
> I don't see a compelling reason to do so. I think this was a hack to
> ensure that IDs don't clash with those generated by LyX (i.e. if cleanID
> had to change the ID somehow), but I'm not sure about that.
>
> I think that is older code, from the previous docbook implementation. In
> any event, I've got no idea why that's there.
>
> As far as I can see, it is only used in docbook output, so I doubt killing
> the dot will break anything.
>
Then it's gone, thanks for checking :)!
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to