Exit when the desktop window closes

This commit is contained in:
2026-07-23 09:02:50 +02:00
parent 4de0b6b0d1
commit fa0a510b8b
4 changed files with 38 additions and 5 deletions

View File

@@ -19,6 +19,7 @@ surface LayoutControlSurface {
TogglePanelRequested()
ToggleAssistantSidebarRequested()
ActivityClicked(activity_id)
CloseWindowRequested()
}
surface LayoutRuntimeSurface {
@@ -55,6 +56,13 @@ value AppShell {
status_bar: StatusBar
}
rule CloseSingleWindow {
when: CloseWindowRequested()
ensures: ExitApplication()
-- bDS2 and RuDS are single-window applications. Closing that window
-- persists application-owned state and terminates the process.
}
surface AppShellSurface {
context shell: AppShell