{% extends "base.html" %} {% set remote_run = workspace.remote_run | default(none) %} {% set server_terminal = workspace.is_server_terminal | default(false) %} {% set remote_run_state_key = ('remote_run.state.' ~ (remote_run_display_state or remote_run.state)) if remote_run else '' %} {% set remote_run_terminal = remote_run and remote_run.state in ('finished', 'stopped', 'failed', 'lost') %} {% if remote_run %} {% set workspace_kind_label = 'remote_run.workspace_mode' %} {% elif server_terminal %} {% set workspace_kind_label = 'server_terminal.mode' %} {% elif workspace.backend_kind == 'remote' %} {% set workspace_kind_label = 'workspace.kind.remote' %} {% else %} {% set workspace_kind_label = 'workspace.kind.local' %} {% endif %} {% set workspace_sidebar_status = t('server_terminal.mode') if server_terminal else t(session_status_label) %} {% set workspace_sidebar_detail = t('common.terminal') ~ ' ' ~ terminal_count %} {% macro workspace_run_menu(placement) %} {% if workspace_commands_visible %} {% endif %} {% endmacro %} {% block body_class %}workspace-page{% endblock %} {% block body %}