Highlight target row

Signed-off-by: Mihai Budiu <[email protected]>

Author: Mihai Budiu

rust/template/ddlog_profiler/profiler_ui/ui.css

@@ -76,6 +76,10 @@ td.invocations {
     background: lightyellow;
 }
 
+tr.show {
+    background: pink;
+}
+
 /* close, minimize, help page elements */
 .close {
     font-weight: bold;

rust/template/ddlog_profiler/profiler_ui/ui.js

@@ -688,6 +688,7 @@ class ProfileTable implements IHtmlElement {
             elem.parentElement!.classList.add("highlight");
         }
         let last = document.getElementById(path[path.length - 1]);
+        last!.parentElement!.classList.add("show");
         last!.scrollIntoView();
     }