ni_nitdoc: added fast copy past utility to signatures.

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

diff --git a/share/nitdoc/scripts/js-facilities.js b/share/nitdoc/scripts/js-facilities.js
index cb45d6e..4297dd3 100644 (file)
--- a/share/nitdoc/scripts/js-facilities.js
+++ b/share/nitdoc/scripts/js-facilities.js
@@ -4,7 +4,6 @@
 $.expr[':'].icontains = function(obj, index, meta, stack){\r
        return (obj.textContent.replace(/\[[0-9]+\]/g, "") || obj.innerText.replace(/\[[0-9]+\]/g, "") || jQuery(obj).text().replace(/\[[0-9]+\]/g, "") || '').toLowerCase().indexOf(meta[3].toLowerCase()) >= 0;\r
 };\r
-\r
 /*\r
  *     Quick Search global vars\r
  */\r
@@ -15,12 +14,11 @@ var currentTable = null;
 //Hightlighted index in search result preview table\r
 var currentIndex = -1;\r
 \r
-\r
 /*\r
 * Add folding and filtering facilities to class description page.\r
 */\r
 $(document).ready(function() {\r
-       \r
+\r
        /*\r
        * Highlight the spoted element\r
        */\r
@@ -134,14 +132,17 @@ $(document).ready(function() {
 \r
                                                        // Escape regexp related characters in query\r
                                                        var query = $("#search").val();\r
+                                                       query = query.replace(/\\/gi, "\\\\");\r
                                                        query = query.replace(/\[/gi, "\\[");\r
                                                        query = query.replace(/\|/gi, "\\|");\r
                                                        query = query.replace(/\*/gi, "\\*");\r
                                                        query = query.replace(/\+/gi, "\\+");\r
-                                                       query = query.replace(/\\/gi, "\\\\");\r
                                                        query = query.replace(/\?/gi, "\\?");\r
                                                        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
@@ -150,7 +151,7 @@ $(document).ready(function() {
                                                                        break;\r
                                                                }\r
                                                                var result = entry.match(regexp);\r
-                                                               if(result != null && result.toString().toUpperCase() == $("#search").val().toUpperCase()) {\r
+                                                               if(result != null) {\r
                                                                        for(var i = 0; i < entries[entry].length; i++) {\r
                                                                                if(index > 10) {\r
                                                                                        break;\r
@@ -349,9 +350,21 @@ $(document).ready(function() {
        $("a[href*='#']").click( function() {\r
                highlightBlock($(this).attr("href").split(/#/)[1]);\r
        });\r
-       \r
+\r
        //Preload filter fields with query string\r
        preloadFilters();\r
+\r
+       //Copy to clipboard utility on signatures\r
+       $(".signature").each(function(){\r
+               $(this).append(\r
+                       $("<button class='copyButton' data-clipboard-text='" + $(this).attr("data-untyped-signature") + "'></button>")\r
+                       .append($("<img src='./resources/icons/copy.png' />"))\r
+               )\r
+       });\r
+\r
+       var clip = new ZeroClipboard($(".copyButton"), {\r
+         moviePath: "./ZeroClipboard.swf"\r
+       } );\r
 });\r
 \r
 /* Parse current URL and return anchor name */\r
@@ -399,4 +412,4 @@ function highlightBlock(a) {
        \r
        target.addClass("highlighted");\r
        target.show();\r
-}
\ No newline at end of file
+}\r