diff src/tab_list.html @ 1:7e3085fc60c1 draft default tip

master branch Updating
author lain
date Wed, 30 Aug 2023 14:21:18 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/tab_list.html	Wed Aug 30 14:21:18 2023 +0000
@@ -0,0 +1,14 @@
+            <li class="{{ ACTIVE_TAB_PLACEHOLDER }}">
+              <a
+                id="open_tab_{{ TAB_INDEX_PLACEHOLDER }}"
+                href="#tab-index-{{ TAB_INDEX_PLACEHOLDER }}"
+                data-toggle="tab"
+                onclick="
+                  context = context_{{ TAB_INDEX_PLACEHOLDER }} ;
+                  context.change_tab() ;
+                "
+              >
+                <i class="fa fa-bar-chart"></i>
+                {{ COMPOUND_NAME_PLACEHOLDER }}
+              </a>
+            </li>