From e2d9e43ea63b8bcea23894e18efdb7437490a7c0 Mon Sep 17 00:00:00 2001 From: Aiday Marlen Kyzy Date: Mon, 12 Jun 2023 09:35:48 +0200 Subject: [PATCH] setting the type of the indentation line number and the level --- .../workbench/contrib/inlineChat/browser/inlineChatWidget.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/inlineChat/browser/inlineChatWidget.ts b/src/vs/workbench/contrib/inlineChat/browser/inlineChatWidget.ts index 8057610cc56..fec2035c4f6 100644 --- a/src/vs/workbench/contrib/inlineChat/browser/inlineChatWidget.ts +++ b/src/vs/workbench/contrib/inlineChat/browser/inlineChatWidget.ts @@ -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) {