diff options
Diffstat (limited to 'subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts')
-rw-r--r-- | subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts b/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts index 96be0eea..d5ad536b 100644 --- a/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts +++ b/subprojects/frontend/src/editor/indentationMarkerViewPlugin.ts | |||
@@ -91,7 +91,7 @@ function getNumIndentMarkersForNonEmptyLine( | |||
91 | ) { | 91 | ) { |
92 | let numIndents = 0; | 92 | let numIndents = 0; |
93 | let numConsecutiveSpaces = 0; | 93 | let numConsecutiveSpaces = 0; |
94 | let prevChar: string | null = null; | 94 | let prevChar: string | undefined; |
95 | 95 | ||
96 | for (let char = 0; char < text.length; char += 1) { | 96 | for (let char = 0; char < text.length; char += 1) { |
97 | // Bail if we encounter a non-whitespace character | 97 | // Bail if we encounter a non-whitespace character |