Hello,
When I change the language extensions :
useEffect(() => {
extensions[0] = makeExtensions();
if (view) {
view.dispatch({ effects: StateEffect.reconfigure.of([makeExtensions(), tomorrow]) });
}
}, [extension]);
the gutters disappeared, i don’t know why. Thank you.
const makeExtensions = () => {
if(extension === "javascript"){
return javascript();
}
if(extension === "python"){
return python();
}
if(extension === "java"){
return java();
}
return cpp();
}
marijn
3
Probably because the extensions you’re configuring with no longer include the gutter extension (or highlighting, or any of the other basic stuff).