{% extends "workspace_base.html" %} {% block workspace_content_class %}editor-screen{% endblock %} {% block workspace_content %}
← {{ snapshot.relative_path.rsplit('/', 1)[-1] }} {{ snapshot.relative_path }} {{ t('common.terminal') }}
{% if saved %}
{{ t('editor.saved') }} {{ t('editor.back_terminal') }}
{% endif %} {% if conflict %}
{{ t('editor.conflict') }} {{ t('editor.conflict_copy') }}
{% endif %} {% if save_error %}
{{ t('editor.save_failed') }} {{ save_error }}
{% endif %}
{{ t('editor.diff') }}

{% endblock %}