Cast step to fix build error (#249)

jupyterlab · Oct 16, 2023 · 36a6595 · 36a6595
1 parent 6d878bf
commit 36a6595
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/codemirror-extension/src/index.ts b/codemirror-extension/src/index.ts
@@ -38,7 +38,7 @@ const stripe = Decoration.line({
 
 // Create the range of lines requiring decorations
 function stripeDeco(view: EditorView) {
-  const step = view.state.facet(stepSize);
+  const step = view.state.facet(stepSize) as number;
   const builder = new RangeSetBuilder<Decoration>();
   for (const { from, to } of view.visibleRanges) {
     for (let pos = from; pos <= to; ) {