@if (!ctx) {

No file to edit

This window was opened without an editor context. Launch files from the app.

} @else {

{{ ctx.name }}{{ dirty() ? ' •' : '' }}

{{ ctx.sessionTitle }}
@if (findOpen()) {
{{ countLabel() }}
} @if (sessionDead()) {
Disconnected from {{ ctx.sessionTitle }} — saving will fail, but your text is preserved in this window.
} @if (loading()) {
} @else if (loadError(); as error) {

Can't open {{ ctx.name }}

{{ error }}

} @else {
@if (!wrap()) { }
} @if (closePrompt()) {

Save changes to "{{ ctx.name }}"?

Your changes will be lost if you don't save them.

} }