+
+
+ {% trans %}Back to top{% endtrans %}
+
+
+ {% block content %}{{ body }}{% endblock %}
+
+
+
+
+ {% if theme_top_of_page_button != "edit" -%}
+ {{ warning("Got configuration for 'top_of_page_button': this is deprecated.") }}
+ {%- endif -%}
+
+ {%- if theme_top_of_page_buttons == "" -%}
+ {% if theme_top_of_page_button == None -%}
+ {#- We respect the old configuration of disabling all the buttons -#}
+ {%- set theme_top_of_page_buttons = [] -%}
+ {% else %}
+ {%- set theme_top_of_page_buttons = ["view", "edit"] -%}
+ {%- endif -%}
+ {% else -%}
+ {% if theme_top_of_page_button != "edit" -%}
+ {%- set theme_top_of_page_buttons = [] -%}
+ {{ warning("Got configuration for both 'top_of_page_button' and 'top_of_page_buttons', ignoring both and removing all top of page buttons.") }}
+ {%- endif -%}
+ {%- endif -%}
+ {% for button in theme_top_of_page_buttons -%}
+ {% if button == "view" %}
+ {%- include "components/view-this-page.html" with context -%}
+ {% elif button == "edit" %}
+ {%- include "components/edit-this-page.html" with context -%}
+ {% else %}
+ {{ warning("Got an unsupported value in 'top_of_page_buttons' for theme configuration") }}
+ {% endif %}
+ {%- endfor -%}
+ {#- Theme toggle -#}
+
+
+
+
+
+