EdgeStyleOverride
Defined in: src/types/index.ts:320
Per-edge visual override applied on top of an edge’s computed style. Used by the execution overlay to emphasize taken transitions and dim untaken ones. All fields are optional — only specified fields are overridden.
Properties
Section titled “Properties”stroke?
Section titled “stroke?”optional stroke?: string;Defined in: src/types/index.ts:322
Stroke colour for the edge path and arrowhead
strokeOpacity?
Section titled “strokeOpacity?”optional strokeOpacity?: number;Defined in: src/types/index.ts:324
Stroke opacity (0-1); used to dim transitions the run did not take
strokeWidth?
Section titled “strokeWidth?”optional strokeWidth?: number;Defined in: src/types/index.ts:326
Stroke width in pixels