🚨 Fixed linter error

2023-06-22 19:01:59 +02:00
parent a71c168eb2
commit 6bfe376254
1 changed files with 1 additions and 1 deletions
@@ -230,7 +230,7 @@ export function createKeybindingsHandler(
 		}
 		// eslint-disable-next-line @typescript-eslint/ban-ts-comment
-		// @ts-ignore
+		// @ts-ignore // skipcq: JS-0372
 		timer = setTimeout(possibleMatches.clear.bind(possibleMatches), timeout);
 	};
 }