{% extends "_layout.html" %} {% set active_page = 'source' %} {% set show_filters = False %} {% set source_files = api.source_files() + [config['DEFAULT_SETTINGS']] %} {% if config['USER_SETTINGS'] %} {% set source_files = source_files + [config['USER_SETTINGS']] %} {% endif %} {% block javascript %}{% include "javascript/_editor.html" %}{% endblock %} {% block content %} {% if config['use-external-editor'] %} {% for source_file in source_files %} {% with link=url_for_source(file_path=source_file) %} {% endwith %} {% endfor %}
{{ _('File') }} {{ _('External editor') }}
{{ source_file }} {{ _('Open in external editor') }}

{{ _('Source listing') }}

{% for source_file in source_files %}
{% with link=url_for_source(file_path=source_file) %}

{{ source_file }}

{{ _('; Loading %(file)s ...', file=source_file) }}
{% endwith %}
{% endfor %} {% else %}
{% endif %} {% endblock %}