{% 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 %}
| File | External editor |
|---|---|
| {{ source_file }} | Open in external editor | {% endwith %}