type(zebra-stripes): fix type error.

uiwjs · Oct 13, 2023 · 3dcddbd · 3dcddbd
1 parent 70b9eff
commit 3dcddbd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/extensions/zebra-stripes/src/index.ts b/extensions/zebra-stripes/src/index.ts
@@ -19,8 +19,8 @@ let stripe = Decoration.line({
 });
 
 function stripeDeco(view: EditorView) {
-  const step = view.state.facet(stepSize);
-  const num = view.state.facet(lineNumber);
+  const step = view.state.facet(stepSize) as number;
+  const num = view.state.facet<Array<number>>(lineNumber);
   const builder = new RangeSetBuilder<Decoration>();
   for (let { from, to } of view.visibleRanges) {
     for (let pos = from; pos <= to; ) {