Function text_search

data/indexscript.js:43–46

(text)

    // Google text search (different than codebrowser.js)
    var text_search = function(text) {
        var location = "" + (window.location);
        window.location = "http://google.com/search?sitesearch=" + encodeURIComponent(location) + "&q=" + encodeURIComponent(text);
    }

    var fileIndex = [];
    var searchTerms = {}