manual/gsearch.js at master · tsiry-sandratraina.com/rockbox-zig

tsiry-sandratraina.com / rockbox-zig

fork atom

A modern Music Player Daemon based on Rockbox open source high quality audio player

libadwaita audio rust zig deno mpris rockbox mpd

fork atom

rockbox-zig / manual / gsearch.js

at master 11 lines 408 B view raw

wrap content

Dominik Riebeling Manual: add search box to HTML output. 14y ago

e9e0cf59

 1function gsearch() {
 2    var expr=/(.*)\/([^/]+)$/;
 3    var loc = expr.exec(window.location)[1];
 4    document.getElementById("gsearch").innerHTML = ''
 5    + '<form action="http://www.google.com/search">'
 6    + 'Search this manual '
 7    + '<input name="as_q" size="30">'
 8    + '<input value="Google it" type="submit">'
 9    + '<input type="hidden" name="as_sitesearch" value="' + loc + '">'
10    + '</form>';
11}