{% extends "_layout.html" %} {% set active_page = 'source' %} {% set show_filters = False %} {% block javascript %}{% include "javascript/_editor.html" %}{% endblock %} {% block content %}

Source

{% if config.user.getboolean('use-external-editor') %} {% for source_file in api.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 api.source_files() %}
{% with link=url_for_source(file_path=source_file) %}

{{ source_file }}

; Loading {{ source_file }} ...
{% endwith %}
{% endfor %} {% else %}
{% endif %} {% endblock %}