Variable.Edge in Progress ID
sprotty / edgeInProgressID
const
edgeInProgressID:"edge-in-progress"
='edge-in-progress'
Defined in: packages/sprotty/src/features/routing/model.ts:182
sprotty / edgeInProgressID
const
edgeInProgressID:"edge-in-progress"
='edge-in-progress'
Defined in: packages/sprotty/src/features/routing/model.ts:182