(text)
| 986 | |
| 987 | // Do a google seatch of the text on the project. |
| 988 | var text_search = function(text) { |
| 989 | var location = "" + (window.location); |
| 990 | var idx = location.indexOf(file); |
| 991 | if (idx < 0) |
| 992 | return; |
| 993 | location = location.substring(0, idx); |
| 994 | window.location = "http://google.com/search?sitesearch=" + encodeURIComponent(location) + "&q=" + encodeURIComponent(text); |
| 995 | } |
| 996 | |
| 997 | //BEGIN code duplicated in indexscript.js |
| 998 | // callback for jqueryui's autocomple activate |