# HG changeset patch # User Goffi # 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 %} - {% if main_menu is defined %} + {% if main_menu %} {% block main_menu %} {{ component.menu(main_menu, class="main_menu") }} {% endblock main_menu %}