parent
							
								
									f321503b94
								
							
						
					
					
						commit
						7dff0a3f08
					
				| 
						 | 
					@ -558,6 +558,8 @@
 | 
				
			||||||
    var searchMenu = null;
 | 
					    var searchMenu = null;
 | 
				
			||||||
    var searchText = null;
 | 
					    var searchText = null;
 | 
				
			||||||
    
 | 
					    
 | 
				
			||||||
 | 
					    {{ $enableSearch := ($.Param "enableSearch") }}
 | 
				
			||||||
 | 
					    var enableSearch = JSON.parse({{ $enableSearch | jsonify }});
 | 
				
			||||||
    {{ $enableSearchHighlight := ($.Param "enableSearchHighlight") }}
 | 
					    {{ $enableSearchHighlight := ($.Param "enableSearchHighlight") }}
 | 
				
			||||||
    var enableSearchHighlight = JSON.parse({{ $enableSearchHighlight | jsonify }});
 | 
					    var enableSearchHighlight = JSON.parse({{ $enableSearchHighlight | jsonify }});
 | 
				
			||||||
    {{ $searchResultPosition := ($.Param "searchResultPosition") }}
 | 
					    {{ $searchResultPosition := ($.Param "searchResultPosition") }}
 | 
				
			||||||
| 
						 | 
					@ -567,6 +569,7 @@
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    var fuse = null;
 | 
					    var fuse = null;
 | 
				
			||||||
    
 | 
					    
 | 
				
			||||||
 | 
					    if (enableSearch) {
 | 
				
			||||||
      (function initFuse() {
 | 
					      (function initFuse() {
 | 
				
			||||||
        var xhr = new XMLHttpRequest();
 | 
					        var xhr = new XMLHttpRequest();
 | 
				
			||||||
        xhr.open('GET', baseurl + "/index.json");
 | 
					        xhr.open('GET', baseurl + "/index.json");
 | 
				
			||||||
| 
						 | 
					@ -591,6 +594,7 @@
 | 
				
			||||||
        };
 | 
					        };
 | 
				
			||||||
        xhr.send();
 | 
					        xhr.send();
 | 
				
			||||||
      })();
 | 
					      })();
 | 
				
			||||||
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    function makeLi(ulElem, obj) {
 | 
					    function makeLi(ulElem, obj) {
 | 
				
			||||||
      var li = document.createElement('li');
 | 
					      var li = document.createElement('li');
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue