HTML Export: Ignore case when searching for tags

Fixes #934

Signed-off-by: Sander Kleijwegt <sander@myowndomain.nl>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Sander Kleijwegt 2015-10-03 00:48:46 +02:00 committed by Dirk Hohndel
parent a241393e7b
commit a02ea68582

View file

@ -628,7 +628,7 @@ SearchModule.prototype.Enter_search_tag = function(tags, diveno)
if (!tags)
return;
for (var i = 0; i < tags.length; i++) {
insertIn(tags[i], diveno, this.head);
insertIn(tags[i].toLowerCase(), diveno, this.head);
numberofwords++;
}
}