Add anchor to the HTML template

enso-org · Feb 28, 2024 · 7da61c7 · 7da61c7
1 parent 010843d
commit 7da61c7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tools/performance/engine-benchmarks/templates/template_jinja.html b/tools/performance/engine-benchmarks/templates/template_jinja.html
@@ -334,7 +334,10 @@ <h3 class="card-header text-center">Applied filters</h3>
     <div id="benchmarks-container" class="container-fluid">
       {% for bench_data in bench_datas %}
       <div class="bench-container card">
-        <h3 class="card-header text-center">{{ bench_data.id }}</h3>
+        <a name="{{ bench_data.id }}"></a>
+        <h3 class="card-header text-center">
+          <a href="#{{ bench_data.id }}">{{ bench_data.id }}</a>
+        </h3>
         <!-- This is a placeholder div for a bench chart -->
         <div id="{{ bench_data.id }}" class="bench-chart"></div>
         <!-- selection-info div will be shown once user selects a point in the chart -->