EffectId

data class EffectId(val value: String)

Identifies one dispatched GuiEffect, so the toolkit-specific handler that eventually performs it can be correlated back to the effect that requested it (e.g. for logging or de-duplication).

Constructors

Link copied to clipboard
constructor(value: String)

Properties

Link copied to clipboard

Functions

Link copied to clipboard
open override fun toString(): String