# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1601306775 -7200
# Node ID 1743fd741fed2eda32a0b25506e33d817e27d6bf
# Parent  f1a39607d6a563aa08ae6a25f9649eca3e94a722
bulma (components/common): use `menu_labels.html` to translate menus

diff -r f1a39607d6a5 -r 1743fd741fed sat_templates/templates/bulma/components/common.html
--- a/sat_templates/templates/bulma/components/common.html	Mon Sep 28 17:25:26 2020 +0200
+++ b/sat_templates/templates/bulma/components/common.html	Mon Sep 28 17:26:15 2020 +0200
@@ -17,7 +17,7 @@
             <div class="navbar-start">
             {% for name, url in menus %}
                   <a class="navbar-item" {{ {'href': url}|xmlattr }}>
-                    {{name}}
+                    {{ml.label[name] or name}}
                   </a>
             {% endfor %}
             </div>