[search] een punt wordt een komma @ texhthighlighter

[Robin]

Als je gaat [search=sin 1.11] en je klikt dan op een topic, dan wordt de punt omgezet naar een komma in de texthighlighter. Irritant als je daar op zoek bent. Je moet dan handmatig die komma veranderen in een punt.

[ACM]

Zie searchmanual...

1.11 wordt 1 en 11 en dan zijn het twee losse woorden, www.tweakers.net zal ook geen www.tweakers.net worden na zoeken, bij de highlight.
Geen echte bug dus.

[ Voor 6% gewijzigd door ACM op 21-04-2003 18:00 ]

[odysseus]

De eenvoudigste oplossing hiervoor is het gebruik van aanhalingstekens, dus [search=sin +"1.11"] .

[Robin]

odysseus schreef op 21 april 2003 @ 21:37:
De eenvoudigste oplossing hiervoor is het gebruik van aanhalingstekens, dus [search=sin +"1.11"] .

Die pagina kan ik een half uur zo laten staan: ik zie daar niks mee gebeuren?

[chem]

zit een foutje in die link gok ik ook zo, haal de backslashes weg (fixed in 1.9)