{% 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'] %}
{{ _('File') }} | {{ _('External editor') }} |
---|---|
{{ source_file }} | {{ _('Open in external editor') }} | {% endwith %}