From fcfb91e7f10460ae691e0ce58ba37eee42cc235e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sat, 14 Dec 2013 12:40:08 +0100
Subject: [PATCH] in case the validation button was moved in the dropdown

---
 ui/templates/widget-topmenu.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ui/templates/widget-topmenu.html b/ui/templates/widget-topmenu.html
index 12cddb92..089bd3cf 100644
--- a/ui/templates/widget-topmenu.html
+++ b/ui/templates/widget-topmenu.html
@@ -22,7 +22,8 @@
 	  <a class="dropdown-toggle" data-toggle="dropdown" href="{{ d.href }}">{{ d.label }}<b class="caret"></b></a>
 	  <ul class="dropdown-menu">
 	    {% for dd in d.contents %}
-	    {% if dd.is_active %}<li class='active'>{% else %}<li class='other'>{% endif %}
+	    <li class='{% if dd.is_active %}active{% else %}other{% endif %}{% if dd.disabled %} disabled{%endif%}'
+	    {% if dd.domid %} id='{{dd.domid}}'{% endif %}>
 	    <a href="{{ dd.href }}"> {{ dd.label }} </a> </li>
 	    {% endfor %}
 	  </ul>
-- 
2.43.0