syz-manager: fix coverage page refresh

1 files changed, 7 insertions, 4 deletions

diff --git a/syz-manager/cover.go b/syz-manager/cover.go
index d96f6ee45..0048dfa7d 100644
--- a/syz-manager/cover.go
+++ b/syz-manager/cover.go
@@ -468,10 +468,13 @@ var coverTemplate = template.Must(template.New("").Parse(`
 		if (window.location.hash) {
 			var hash = window.location.hash.substring(1);
 			for (var i = 0; i < files.options.length; i++) {
-			      if (files.options[i].value === hash) {
-				      files.selectedIndex = i;
-				      break;
-			      }
+				if (files.options[i].value === hash) {
+					files.selectedIndex = i;
+					visible.style.display = 'none';
+					visible = document.getElementById(files.value);
+					visible.style.display = 'block';
+					break;
+				}
 			}
 		}
 		files.addEventListener('change', onChange, false);