{% extends "base.html" %} {% block title %}kennis - {{ settings_heading }}{% endblock %} {% block main %} {% from "tip.html" import tip %} {# Settings (milestone 12). This window's preferences first, kept apart from kennis's configuration and saying so, because changing one of these changes nothing the command line or an agent sees. One form. With a script each control applies and saves itself as it is chosen (`prefs.js`, every input marked `data-pref`) and the Save button is hidden; without one, Save posts every choice to `/settings`, which sets the cookies and returns here. #}

{{ settings_heading }}

{{ window_heading }}

{{ window_note }} {{ tip("window-settings", window_heading, window_tip) }}

{% for section, heading in sections %}

{{ heading }}

{% for preference in preference_list if preference.section == section %} {% if preference.name == "scale" %} {# A radio list, because each option is five colours as well as a name, which an `
{% include "settings-kennis.html" %} {% include "settings-backup.html" %}
{% endblock %}