reservedProperties

Property tags which are reserved. These cannot be used by a @Property annotation. This is useful for ensuring tags from old, retired properties are not accidentally reused.

@Widget(
  tag = 12,
  reservedProperties = [
    3, // Retired double-click event.
  ],
)
data class MyButton(…)