From 2698cc63e1a5a889f4597d50782fd60f23640464 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sat, 23 Mar 2013 21:35:29 +0100
Subject: [PATCH] that's why -however the second tab is not refreshed during
 hazelnut's plugin_update

---
 plugins/tabs/tabs.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/tabs/tabs.html b/plugins/tabs/tabs.html
index 35c1e97f..298dec92 100644
--- a/plugins/tabs/tabs.html
+++ b/plugins/tabs/tabs.html
@@ -1,6 +1,6 @@
 <ul class="nav nav-tabs" id='tabs-{{ domid }}'>
 {% for son in sons %}
-<li{% if son.is_active %} class='active'{% endif %}> <a href="#{{ son.domid }}" data-toggle="tab">{{ son.title }}</a> </li>
+<li{% if son.is_active %} class='active'{% endif %}> <a href="#tab-{{ son.domid }}" data-toggle="tab">{{ son.title }}</a> </li>
 {% endfor %}
 </ul><!--nav-tabs-->
 <div class="tab-content">
-- 
2.43.0