# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1536947355 -7200
# Node ID 9e8d9d754337ecdaba10247ab406768a5aedd45e
# Parent  e9f0a4215e46da85ee74cbb88661e54fc1c81883
base/base.html: don't show menu if main_menu is defined but none or empty

diff -r e9f0a4215e46 -r 9e8d9d754337 sat_templates/templates/default/base/base.html
--- a/sat_templates/templates/default/base/base.html	Mon Sep 10 08:53:33 2018 +0200
+++ b/sat_templates/templates/default/base/base.html	Fri Sep 14 19:49:15 2018 +0200
@@ -62,7 +62,7 @@
     {% endblock favicon %}
 </head>
 <body>
-    {% if main_menu is defined %}
+    {% if main_menu %}
         {% block main_menu %}
             {{ component.menu(main_menu, class="main_menu") }}
         {% endblock main_menu %}