From 020e85906d9ca9bb304eaedd2ae7814319eaf94b Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Wed, 4 Oct 2023 09:42:10 +0200 Subject: [PATCH] fix: slider crash on some platforms --- packages/codemirror/slider.mjs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/packages/codemirror/slider.mjs b/packages/codemirror/slider.mjs index 62ec33c2..519e5610 100644 --- a/packages/codemirror/slider.mjs +++ b/packages/codemirror/slider.mjs @@ -91,8 +91,10 @@ export const sliderPlugin = ViewPlugin.fromClass( while (iterator.value) { // when the widgets are moved, we need to tell the dom node the current position // this is important because the updateSliderValue function has to work with the dom node - iterator.value.widget.slider.from = iterator.from; - iterator.value.widget.slider.to = iterator.to; + if (iterator.value?.widget?.slider) { + iterator.value.widget.slider.from = iterator.from; + iterator.value.widget.slider.to = iterator.to; + } iterator.next(); } }