[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: LSR inconsistencies
From: |
Thomas Morley |
Subject: |
Re: LSR inconsistencies |
Date: |
Sat, 12 Oct 2019 11:17:02 +0200 |
Am Sa., 12. Okt. 2019 um 07:22 Uhr schrieb Werner LEMBERG <address@hidden>:
>
> > Done.
>
> Thanks!
>
> >> http://lsr.di.unimi.it/LSR/Item?id=857
> >
> > Done.
> >
> > Though the title contains backslashes, thus it's not searchable in
> > LSR. Not sure what to do!?
>
> Hmm. I just entered `\mark' in the LSR search box, and it *does*
> return snippets with backslashes in the title. What exactly is the
> problem?
>From here:
https://lsr.di.unimi.it/list.php?type=snippet
enter in the Title-box:
Template: integrating \startTextSpan and \stopTextSpan in a customized
TextSpanner
then click "Enable filter".
Nothing returns.
Some for #546 below (with and without <code>-tags)
>
> By the way, Sebastiano has now added support for HTML tags in snippet
> titles. For testing purposes I ask you to change, say in snippet
> #546
>
> http://lsr.di.unimi.it/LSR/Item?id=546 ,
>
> the title from
>
> Aligning objects created with the \mark command
>
> to
>
> Aligning objects created with the <code>\mark</code> command
>
> so that HTML code is added to the LSR dump.
Done.
Cheers,
Harm
- LSR inconsistencies, Werner LEMBERG, 2019/10/05
- Re: LSR inconsistencies, Thomas Morley, 2019/10/05
- Re: LSR inconsistencies, Werner LEMBERG, 2019/10/07
- Re: LSR inconsistencies, Thomas Morley, 2019/10/11
- Re: LSR inconsistencies, Werner LEMBERG, 2019/10/12
- Re: LSR inconsistencies,
Thomas Morley <=
- Re: LSR inconsistencies, Werner LEMBERG, 2019/10/12
- Re: LSR inconsistencies, Thomas Morley, 2019/10/12
- Re: LSR inconsistencies, Sebastiano Vigna, 2019/10/12
- Re: LSR inconsistencies, Wols Lists, 2019/10/13