diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts index e41a3b75..9b9bc37d 100644 --- a/src/ide/views/editors.ts +++ b/src/ide/views/editors.ts @@ -153,7 +153,7 @@ export class SourceEditor implements ProjectView { ]), keymap.of(defaultKeymap), - minimalGutters ? [] : lineNumbers(), + lineNums ? lineNumbers() : [], highlightSpecialChars(),