(
window: WaylandWindow,
windowRectState: WindowStateKey<ManagedWindowRect>,
token: number,
)
| 61 | } |
| 62 | |
| 63 | function clearActiveRectTarget( |
| 64 | window: WaylandWindow, |
| 65 | windowRectState: WindowStateKey<ManagedWindowRect>, |
| 66 | token: number, |
| 67 | ): void { |
| 68 | if (activeRectTarget(window, windowRectState)?.token === token) { |
| 69 | setActiveRectTarget(window, windowRectState, undefined); |
| 70 | } |
| 71 | } |
| 72 | |
| 73 | export function playRectAnimation( |
| 74 | window: WaylandWindow, |
no test coverage detected