From a02ea685823f6474da7de51875b1ed2970b10eba Mon Sep 17 00:00:00 2001
From: Sander Kleijwegt <sander@myowndomain.nl>
Date: Sat, 3 Oct 2015 00:48:46 +0200
Subject: 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>
---
 theme/list_lib.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theme/list_lib.js')

diff --git a/theme/list_lib.js b/theme/list_lib.js
index b6ac97366..ef5d2909c 100644
--- a/theme/list_lib.js
+++ b/theme/list_lib.js
@@ -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++;
 	}
 }
-- 
cgit v1.2.3-70-g09d2