{% 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 %}

Source

{% 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 {{ source_file }} ...
{% endwith %}
{% endfor %} {% else %}
{% endif %} {% endblock %}