{% extends "base.html" %} {% block content %} {% if saved %}
File saved successfully.
{% endif %} {% if let Some(err) = error %}
{{ err }}
{% endif %}
{# File list sidebar #}

Files

{% if files.is_empty() %}

No config files yet.
Start the server to generate them.

{% else %} {% endif %}
{# Editor area #}
{% if let Some(file) = selected_file %}

{{ file }}

{% if let Some(content) = content %}
{% else %}

Could not load file content.

{% endif %} {% else %}

Select a file from the list to edit.

{% endif %}
{% endblock %}