Overview$Typings extension

on

Properties

box Part
Gets or sets the rectangular Part that represents the viewport of the #observed Diagram. By default the part contains only a magenta Shape. The box's Part#selectionObject is what is resized by the Overview to the apparent size of the observed diagram's viewport.
getter/setter pair
drawsGrid bool
Gets or sets whether this overview draws the Diagram#grid of the observed Diagram, if it is visible. The default value is true.
getter/setter pair
drawsTemporaryLayers bool
Gets or sets whether this overview draws the temporary layers of the observed Diagram. The default value is true. Setting this property to false may improve drawing performance, especially if the Diagram#grid is visible.
getter/setter pair
observed Diagram?
Gets or sets the Diagram for which this Overview is displaying a model and showing its viewport into that model.
getter/setter pair
updateDelay num
Gets or sets how long it waits before updating, in milliseconds. The default value is zero. Any new value must be a non-negative number.
getter/setter pair