Index: chrome/common/extensions/docs/server2/templates/private/sidenav.html |
diff --git a/chrome/common/extensions/docs/server2/templates/private/sidenav.html b/chrome/common/extensions/docs/server2/templates/private/sidenav.html |
index 4b5920122ed83fefd5a1493c0e48de5a36d35f83..c5cf0b763775230c0b9c93760b7f541850324b01 100644 |
--- a/chrome/common/extensions/docs/server2/templates/private/sidenav.html |
+++ b/chrome/common/extensions/docs/server2/templates/private/sidenav.html |
@@ -71,6 +71,10 @@ |
</li> |
<li><a href="permission_warnings.html">Permission Warnings</a></li> |
<li><a href="api_index.html">chrome.* APIs</a></li> |
+ <div> |
+ <input type="search" id="api_search" placeholder="Filter APIs"> |
not at google - send to devlin
2012/07/30 10:14:25
I googled and found a couple of neat tricks: if yo
cduvall
2012/07/30 20:05:38
Done.
|
+ <div id="filtered_apis"></div> |
+ </div> |
not at google - send to devlin
2012/07/30 10:14:25
I reckon we should move this and the API reference
cduvall
2012/07/30 20:05:38
Wasn't sure if you wanted me to move the whole sec
|
<li><a href="api_other.html">Other APIs</a></li> |
</ul> |
</li> |