Schließen entruckeln: Material fest, Maske animiert, Zeiger abgefragt

Drei Ursachen, davon zwei echte Fehler.

Die NSVisualEffectView steckte in einem Rahmen, dessen Größe animiert wurde.
Ein Weichzeichner muss dann in jedem Einzelbild neu in anderer Größe gerechnet
werden — am teuersten genau beim Schließen, wo die Fläche am schnellsten
schrumpft. Das Material behält jetzt feste Größe, animiert wird nur die Maske
davor. Tint, Bänderung und Kante sind reine SwiftUI-Formen und dürfen weiter in
der Größe animieren. Auch die Schattendeckkraft ist jetzt konstant statt
animiert; sie aufzublenden kostete pro Bild eine neue Weichzeichnung.

Onyx bekam Mausbewegungen über dem eigenen Panel praktisch nicht mit. Der
globale Monitor feuert nur für Ereignisse an fremde Programme, der lokale nur
wenn Onyx aktiv ist — was es als .accessory-App nie ist. Ausgerechnet beim
Verlassen des Panels kam das Ereignis also verspätet oder gar nicht. Solange
ein Panel offen ist, wird die Zeigerposition jetzt mit 60 Hz abgefragt; der
Timer läuft ausschließlich in dieser Zeit.

Öffnen und Schließen benutzten dieselbe Kurve. Schließen ist jetzt kürzer und
ohne Nachschwingen: beim Öffnen sieht man zu, beim Schließen ist man schon
woanders.

Nebenbefund beim Prüfen: es liefen zwei Onyx-Instanzen aus verschiedenen Builds
gleichzeitig, jede mit eigener Zustandsmaschine auf derselben Notch. Das dürfte
einen guten Teil der Hakeligkeit erklärt haben.

Packages/OnyxKit/Sources/OnyxDesign/OnyxTokens.swift

@@ -45,9 +45,16 @@ public enum Onyx {
     // MARK: - Bewegung
 
     public enum Motion {
-        /// Ein einziger Spring für alles Ausfahren. Mehrere Kurven im selben
-        /// Panel wirken unruhig, egal wie gut jede für sich ist.
+        /// Ausfahren: ein Spring mit einem Hauch Nachschwingen. Das gibt dem
+        /// Panel Masse, statt es nur größer werden zu lassen.
         public static let expand = Animation.spring(response: 0.34, dampingFraction: 0.86)
+
+        /// Einfahren: kürzer und ohne Nachschwingen.
+        ///
+        /// Schließen muss schneller sein als Öffnen. Beim Öffnen sieht man zu,
+        /// beim Schließen ist man schon woanders — dieselbe Kurve rückwärts
+        /// fühlt sich dort zäh an, und das Nachschwingen liest sich als Ruckler.
+        public static let collapse = Animation.spring(response: 0.24, dampingFraction: 1.0)
         /// Für Messwerte: sichtbar, aber ohne Pulsieren.
         public static let value = Animation.easeOut(duration: 0.25)
     }