Open Preferences as a complete settings workspace.

specs/tabs.allium

@@ -12,6 +12,7 @@ surface TabControlSurface {
     facing _: TabOperator
 
     provides:
+        PreferencesRequested()
         OpenTabRequested(type, id, intent)
         OpenTabInBackgroundRequested(type, id, intent)
         CloseTabRequested(tab)
@@ -19,6 +20,14 @@ surface TabControlSurface {
         ClearTabsRequested()
 }
 
+rule OpenPreferences {
+    when: PreferencesRequested()
+    ensures: OpenTabRequested(type: settings, id: settings, intent: pin)
+    ensures: SettingsEditorHydrated()
+    ensures: SettingsSidebarSelected()
+    ensures: SidebarShown()
+}
+
 surface TabRuntimeSurface {
     facing _: TabRuntime