Einstellungen: die Reiter schalten wieder, und die Leiste passt ins Fenster

Zwei Folgen der eigenen Reiterleiste, beide meine Schuld.

Der Reiter oben sprang um, der Inhalt blieb stehen: der gewählte Reiter liegt
im Fenster-Controller — er muss dort liegen, damit ein erneutes Öffnen ihn
setzen kann, etwa auf „Berechtigungen", wenn eine fehlt. Der Controller war
aber nicht beobachtbar. `TabView` fiel das nie auf, weil es seinen Zustand
selbst führte und die Bindung nur benachrichtigte. Ein `switch` im Rumpf
braucht dagegen eine Änderungsmeldung, und die kam nie. Jetzt ist der
Controller `@Observable`, und beide Richtungen funktionieren.

Zu breit war sie wegen `fixedSize`: sieben deutsche Beschriftungen brauchen
rund 880 Punkte, und die nahm sich die Leiste auch dann, wenn das Fenster 780
breit war — sie ragte links und rechts über die Kante hinaus, der erste und
der letzte Reiter waren nicht mehr erreichbar. Ohne feste Breite bleibt sie
im Fenster, und das Fenster ist jetzt 920 breit statt 780, mit 900 als
Mindestmaß. Darunter würde gestaucht.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Onyx/SettingsWindowController.swift

@@ -16,10 +16,17 @@ import ShelfProvider
 ///
 /// Ein eigenes `NSWindow` hat diese Abhängigkeit nicht. Es kostet ein paar
 /// Zeilen mehr und funktioniert dafür.
+///
+/// `@Observable`, und das ist keine Kür: der gewählte Reiter liegt hier, weil
+/// ein erneutes Öffnen ihn setzen können muss. Ohne Beobachtung bemerkt die
+/// View die Änderung nicht — weder die von außen noch die eigene. Genau daran
+/// hing das Fenster, in dem der Reiter oben umsprang und der Inhalt stehen
+/// blieb.
 @MainActor
+@Observable
 final class SettingsWindowController: NSObject, NSWindowDelegate {
 
-    private var window: NSWindow?
+    @ObservationIgnored private var window: NSWindow?
     /// Muss außerhalb der View liegen, damit ein erneutes Öffnen den Reiter setzen kann.
     private var selectedTab: SettingsTab = .widgets
 
@@ -76,15 +83,16 @@ final class SettingsWindowController: NSObject, NSWindowDelegate {
             // mehr, und ein Fenster, in dem man scrollen muss, obwohl der
             // Bildschirm frei ist, ist eine Zumutung.
             window.styleMask = [.titled, .closable, .miniaturizable, .resizable]
-            window.setContentSize(NSSize(width: 780, height: 660))
+            window.setContentSize(NSSize(width: 920, height: 680))
             // Breit genug für die Reiterleiste.
             //
-            // Sechs Reiter mit deutschen Beschriftungen brauchen mehr, als man
-            // beim Nachrechnen der reinen Textbreiten herausbekommt: macOS legt
-            // je Reiter Innenabstand und Trenner dazu. Ist das Fenster zu
-            // schmal, schneidet es die Leiste rechts einfach ab — der letzte
-            // Reiter ist dann nicht mehr erreichbar.
-            window.contentMinSize = NSSize(width: 740, height: 460)
+            // Sieben Reiter mit deutschen Beschriftungen brauchen rund 880
+            // Punkte — mehr, als man beim Nachrechnen der reinen Textbreiten
+            // herausbekommt: macOS legt je Reiter Innenabstand und Trenner
+            // dazu. Ist das Fenster schmaler, ragt die Leiste über beide
+            // Kanten hinaus, und der erste wie der letzte Reiter sind nicht
+            // mehr erreichbar.
+            window.contentMinSize = NSSize(width: 900, height: 460)
             window.isReleasedWhenClosed = false
             window.delegate = self
             Self.place(window)