Refresh runtime settings without opening Preferences.

This commit is contained in:
2026-08-01 10:44:53 +02:00
parent 81382b45ce
commit 2fed5371ca
3 changed files with 72 additions and 49 deletions

View File

@@ -49,7 +49,10 @@ rule ClientSynchronization {
when: ClientSubscribed()
-- Every shell subscribes on mount. Each subscriber receives events in
-- publish order and refreshes only the affected project; deleted entities
-- close their open tabs. A refresh never writes the mutation again.
-- close their open tabs. Global and active-project setting changes refresh
-- every cached setting consumer even when the Settings surface is closed;
-- separately cached runtime controls such as airplane mode update too. A
-- refresh never writes the mutation again.
ensures: ClientRefreshOnEvent()
}