From 422f4251060662d0e8db6db70a302ea875c8edc7 Mon Sep 17 00:00:00 2001 From: Stefan Date: Tue, 5 Dec 2023 14:48:15 +0100 Subject: [PATCH] fix(client): remove unused variables --- WebSocketClient/src/main.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts index b41bbd7..a1adbac 100644 --- a/WebSocketClient/src/main.ts +++ b/WebSocketClient/src/main.ts @@ -281,7 +281,7 @@ export const startPythonClient = async () => { if(numberOfLines && numberOfLines > MAX_LINES){ let lines = editor.getModel()?.getLinesContent(); lines?.splice(MAX_LINES); - const newContent = lines?.reduce((p, c, i, a) => {return p + "\n" + c}); + const newContent = lines?.reduce((p, c) => {return p + "\n" + c}); if(newContent !== undefined){ const position = editor.getPosition(); editor.getModel()?.setValue(newContent);