Yuxuan 'fishy' Wang ed1596b9df Merge doc and change searches. ... This CL puts a dropdown in the SearchPanel, to choose from changes search (default) or documentation search. I mostly copied the css for the search button to the dropdown, with some minor changes. If docs are not available (e.g. built without docs), the whole dropdown will be gone and it should be the same as before. Screenshot: https://i.imgur.com/Qyg2VZg.png Change-Id: I04e15327f43fc9c8002cba364b44d77f52075234		2015-11-24 22:14:39 -08:00
..
src	Merge doc and change searches.	2015-11-24 22:14:39 -08:00
BUCK	Pass ChangeInfo object to extension panels	2015-08-04 14:05:24 +02:00