setting the type of the indentation line number and the level

This commit is contained in:
Aiday Marlen Kyzy
2023-06-12 09:35:48 +02:00
parent e4126d88db
commit e2d9e43ea6

View File

@@ -802,8 +802,8 @@ export class InteractiveEditorZoneWidget extends ZoneWidget {
const visibleRange = viewModel.getCompletelyVisibleViewRange();
const startLineVisibleRange = visibleRange.startLineNumber;
const positionLine = position.lineNumber;
let indentationLineNumber;
let indentationLevel;
let indentationLineNumber: number | undefined;
let indentationLevel: number | undefined;
for (let lineNumber = positionLine; lineNumber >= startLineVisibleRange; lineNumber--) {
const currentIndentationLevel = viewModel.getLineFirstNonWhitespaceColumn(lineNumber);
if (currentIndentationLevel !== 0) {