Class for a theme change event.
Optionalopt_themeName: stringThe theme name. Undefined for a blank event.
Optionalopt_workspaceId: stringThe workspace identifier for this event. event. Undefined for a blank event.
The event group id for the group this event belongs to. Groups define events that should be treated as an single action from the user's perspective, and should be undone together.
Whether or not the event is blank (to be populated by fromJson).
Whether or not the event is a UI event.
Sets whether the event should be added to the undo stack.
The theme name.
Type of this event.
The workspace identifier for this event.
Fake class which should be extended to avoid inheriting static properties