LavaUI docs

struct WindowID

Swift

struct WindowID

Identifies one window of an Editor.

A value, not a reference: it stays valid to hold after the window closes, where every call taking it becomes a no-op rather than a crash. Ids are never reused, so a stale handle can never address a window that opened later — which is the failure a raw index would have.

Sources/LavaUI/Editor.swift:974

Properties

static let main: WindowID

The window an app opens with, and what every window: parameter defaults to.

Sources/LavaUI/Editor.swift:981