Contextual search boxes for public installations #10
Description
For publicly-available Gitiles sites, it would be cool to have a Google search
box on every page, e.g. posting to:
https://www.google.com/search?q=XYZ&sitesearch=https://android.googlesource.com/
tools/repo/+/master/subcmds/
The URL should be configurable, including no URL to mean no search box, for
sites that administrators know aren't indexed by Google (e.g. on an intranet).
It seems unlikely that we would implement full-text search within Gitiles, but
this is a quick hack that would get some of the way there.
Original issue reported on code.google.com by [email protected] on 12 Nov 2012 at 12:12