errorDecorationEffect (reference) in projects: plugin

Searched refs:errorDecorationEffect (Results 1 – 4 of 4) sorted by relevance

/plugin/mizarverifiabledocs/src/
H A D	script.js	`170 const errorDecorationEffect = StateEffect.define(); constant 176 if (effect.is(errorDecorationEffect)) { 457 effects: errorDecorationEffect.of([]), 602 effects: errorDecorationEffect.of(decorations.sort((a, b) => a.from - b.from)),`
/plugin/mizarveifiabledocs/dist/
D	script.js.map	`1 …errorDecorationEffect = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a494…`
/plugin/mizarproofchecker/dist/
D	script.js.map	`1 …errorDecorationEffect = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a494…`
/plugin/mizarverifiabledocs/dist/
H A D	script.js.map	`1 …errorDecorationEffect = (0, $3ef527dddcdea745$export$95000d4efaa4321f).define();\nconst $1df32a494…`