diff options
| author |  Sander Kleijwegt <sander@myowndomain.nl> | 2015-10-03 00:48:46 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2015-10-04 16:29:32 +0100 |
| commit | a02ea685823f6474da7de51875b1ed2970b10eba (patch) | |
| tree | c70b22427f3d705fbfcbb46877e6a57e77b87c54 /theme | |
| parent | a241393e7b465ec0f263a7afaf20f7b65617adae (diff) | |
| download | subsurface-a02ea685823f6474da7de51875b1ed2970b10eba.tar.gz | |
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>
Diffstat (limited to 'theme')
| -rw-r--r-- | theme/list_lib.js | 2 |
1 files changed, 1 insertions, 1 deletions
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++; } } |