ExtensionId

data class ExtensionId(val value: String)

Identifies one registered GuiExtension, unique across every extension in the same application.

Constructors

constructor(value: String)

open override fun toString(): String