Interface OptionsChangedEvent

Generated after window options are changed using the window.updateOptions method.

Remarks

Will not fire if the diff object is empty.

Hierarchy

OptionsChangedEvent

Index

Properties

diff name options topic type uuid

Properties

diff

diff: WindowOptionDiff

name

name: string

options

options: WindowOptions

topic

topic: "window"

type

type: "options-changed"

uuid

uuid: string