@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 (loading()) {

} @else if (loadError(); as error) {

Can't open {{ ctx.name }}

{{ error }}

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

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

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

} }