소스 검색

fix: updating search input element id. fixes #287 (#288)

Martin Spier 7 년 전
부모
커밋
d544ceb22d
1개의 변경된 파일4개의 추가작업 그리고 4개의 파일을 삭제
  1. 4
    4
      internal/driver/webhtml.go

+ 4
- 4
internal/driver/webhtml.go 파일 보기

1096
       flameGraph.resetZoom();
1096
       flameGraph.resetZoom();
1097
     }, true);
1097
     }, true);
1098
 
1098
 
1099
-    var searchbox = document.getElementById('searchbox');
1099
+    var search = document.getElementById('search');
1100
     var searchAlarm = null;
1100
     var searchAlarm = null;
1101
 
1101
 
1102
     function selectMatching() {
1102
     function selectMatching() {
1103
       searchAlarm = null;
1103
       searchAlarm = null;
1104
 
1104
 
1105
-      if (searchbox.value != '') {
1106
-        flameGraph.search(searchbox.value);
1105
+      if (search.value != '') {
1106
+        flameGraph.search(search.value);
1107
       } else {
1107
       } else {
1108
         flameGraph.clear();
1108
         flameGraph.clear();
1109
       }
1109
       }
1117
       searchAlarm = setTimeout(selectMatching, 300);
1117
       searchAlarm = setTimeout(selectMatching, 300);
1118
     }
1118
     }
1119
 
1119
 
1120
-    searchbox.addEventListener('input', handleSearch);
1120
+    search.addEventListener('input', handleSearch);
1121
   </script>
1121
   </script>
1122
 </body>
1122
 </body>
1123
 </html>
1123
 </html>