File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -29,16 +29,16 @@ defaults:
2929 categories : " tutorials docs"
3030 -
3131 scope :
32- path : " docs/drivers "
32+ path : " docs/sensors "
3333 type : " pages"
3434 values :
35- category : " drivers "
35+ categories : " sensors docs "
3636 -
3737 scope :
38- path : " docs/sensors "
38+ path : " docs/motors "
3939 type : " pages"
4040 values :
41- categories : " sensors docs"
41+ categories : " motors docs"
4242 -
4343 scope :
4444 path : " "
Original file line number Diff line number Diff line change 1717 < a href ="{{ site.github.url }}/contributing " title ="How to contribute to ev3dev "> Contributing</ a >
1818 </ li >
1919 <!-- items below float right, so appear in reverse order -->
20- < li class ="right headerBox " id ="search-li ">
21- < input type ="text " id ="search-input " onfocus ="searchFocus() " onkeyup ="searchUpdate () " placeholder ="Quick Nav " onkeypress ="this.onkeyup(); " onpaste ="this.onkeyup(); " oninput ="this.onkeyup(); " />
20+ < li class ="right header-box " id ="search-li ">
21+ < input type ="text " id ="search-input " onfocus ="searchFocus() " onkeyup ="searchTextChanged () " placeholder ="Quick Nav " onkeypress ="this.onkeyup(); " onpaste ="this.onkeyup(); " oninput ="this.onkeyup(); " />
2222 < div id ="search-dropdown ">
2323 < div class ="search-results-container " id ="search-results-docs ">
2424 < h2 > In docs</ h2 >
Original file line number Diff line number Diff line change 44
55var searchData ;
66var dataLoading = false ;
7- var itemLoadTimer ;
7+ var itemLoadTimer , searchKeystrokeEventTimer ;
88
99var projectResultArea , docResultArea , miscResultArea ;
1010$ ( document ) . ready ( function ( ) {
@@ -53,6 +53,16 @@ function searchFocus() {
5353 searchUpdate ( ) ;
5454}
5555
56+ function searchTextChanged ( ) {
57+ if ( searchKeystrokeEventTimer != undefined )
58+ clearTimeout ( searchKeystrokeEventTimer ) ;
59+
60+ searchKeystrokeEventTimer = setTimeout ( function ( ) {
61+ searchKeystrokeEventTimer = undefined ;
62+ searchUpdate ( ) ;
63+ } , 400 ) ;
64+ }
65+
5666//Loads the data from the JSON document
5767function loadSearchData ( callback ) {
5868 if ( dataLoading )
Original file line number Diff line number Diff line change 813813 margin : 6px auto;
814814}
815815
816- .headerBox {
817- line-height : 50px ;
816+ .header-box {
818817 list-style : none;
819818}
820819
848847# search-dropdown {
849848 position : relative;
850849 left : -180px ;
850+ top : 8px ;
851851 width : 320px ;
852852
853853 max-height : 500px ;
You can’t perform that action at this time.
0 commit comments