ni_nitdoc: quicksearch is now case sensitive

[nit.git] / share / ni_nitdoc / scripts / js-facilities.js

diff --git a/share/ni_nitdoc/scripts/js-facilities.js b/share/ni_nitdoc/scripts/js-facilities.js
index 896cb58..5643e33 100644 (file)
--- a/share/ni_nitdoc/scripts/js-facilities.js
+++ b/share/ni_nitdoc/scripts/js-facilities.js
@@ -20,11 +20,6 @@ var currentIndex = -1;
 $(document).ready(function() {\r
 \r
        /*\r
-       * Highlight the spoted element\r
-       */\r
-       highlightBlock(currentAnchor());\r
-\r
-       /*\r
        * Nav block folding\r
        */\r
 \r
@@ -64,7 +59,6 @@ $(document).ready(function() {
                                // Key management\r
                                .keyup(function(e) {\r
                                        switch(e.keyCode) {\r
-\r
                                                // Select previous result on "Up"\r
                                                case 38:\r
                                                        // If already on first result, focus search input\r
@@ -134,7 +128,8 @@ $(document).ready(function() {
                                                        currentTable = $(document.createElement("table"));\r
 \r
                                                        // Escape regexp related characters in query\r
-                                                       var query = $("#search").val();\r
+                                                       var origQuery = $("#search").val();\r
+                                                       var query = origQuery;\r
                                                        query = query.replace(/\\/gi, "\\\\");\r
                                                        query = query.replace(/\[/gi, "\\[");\r
                                                        query = query.replace(/\|/gi, "\\|");\r
@@ -144,11 +139,9 @@ $(document).ready(function() {
                                                        query = query.replace(/\(/gi, "\\(");\r
                                                        query = query.replace(/\)/gi, "\\)");\r
                                                        query = query.replace(/&/gi, "&&");\r
-                                                       query = query.replace(/>/gi, ">");\r
-                                                       query = query.replace(/</gi, "&lt;");\r
 \r
                                                        var index = 0;\r
-                                                       var regexp = new RegExp("^" + query, "i");\r
+                                                       var regexp = new RegExp("^" + query);\r
                                                        var overflow = 0;\r
                                                        for(var entry in entries) {\r
                                                                var result = entry.match(regexp);\r
@@ -189,7 +182,7 @@ $(document).ready(function() {
                                                                        .append(\r
                                                                                $("<td colspan='2'>")\r
                                                                                .append(\r
-                                                                                       $("<a href='#' title='Show all results' data-query='"+ query +"'>" + overflow + " more results for '" + query + "'</a>")\r
+                                                                                       $("<a href='#' title='Show all results' data-query='"+ origQuery +"'>" + overflow + " more results for '" + origQuery + "'</a>")\r
                                                                                        .click(function() {\r
                                                                                                window.location = "search.html#q=" + $(this).attr("data-query");\r
                                                                                                if(window.location.href.indexOf("search.html") > -1) {\r
@@ -363,13 +356,6 @@ $(document).ready(function() {
                })\r
        );\r
 \r
-       /*\r
-       * Anchors jumps\r
-       */\r
-       $("a[href*='#']").click( function() {\r
-               highlightBlock($(this).attr("href").split(/#/)[1]);\r
-       });\r
-\r
        //Preload filter fields with query string\r
        preloadFilters();\r
 \r
@@ -415,20 +401,3 @@ function preloadFilters() {
 \r
 }\r
 \r
-/* Hightlight the spoted block */\r
-function highlightBlock(a) {\r
-       if(a == undefined) {\r
-               return;\r
-       }\r
-\r
-       $(".highlighted").removeClass("highlighted");\r
-\r
-       var target = $("#" + a);\r
-\r
-       if(target.is("article")) {\r
-               target.parent().addClass("highlighted");\r
-       }\r
-\r
-       target.addClass("highlighted");\r
-       target.show();\r
-}\r