that's why -however the second tab is not refreshed during hazelnut's plugin_update
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 23 Mar 2013 20:35:29 +0000 (21:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 23 Mar 2013 20:35:29 +0000 (21:35 +0100)
commit2698cc63e1a5a889f4597d50782fd60f23640464
tree58251afa27f064e46f7c416a27b7a5fc049b65bd
parent951e39212242e125a99c3c651e9fd40d49433f81
that's why -however the second tab is not refreshed during hazelnut's plugin_update
plugins/tabs/tabs.html