From c1f5d7c40c62a5c8cc34c8dcd4615744404d3933 Mon Sep 17 00:00:00 2001 From: Andrew Rumble Date: Fri, 4 Oct 2024 12:04:56 +0100 Subject: [PATCH] Ignore params that are needed for type integrity These params are either used in a descendent or ancestor of the relevant file and form part of the interface of the method even if they are not directly used. GitOrigin-RevId: 8bf64cecc69a9ae9e6c50797de5ce8db86757440 --- .../source-editor/extensions/visual/visual-widgets/begin.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/frontend/js/features/source-editor/extensions/visual/visual-widgets/begin.ts b/services/web/frontend/js/features/source-editor/extensions/visual/visual-widgets/begin.ts index 70e508d93e..1826b48719 100644 --- a/services/web/frontend/js/features/source-editor/extensions/visual/visual-widgets/begin.ts +++ b/services/web/frontend/js/features/source-editor/extensions/visual/visual-widgets/begin.ts @@ -45,6 +45,7 @@ export class BeginWidget extends WidgetType { return element.getBoundingClientRect() } + // eslint-disable-next-line @typescript-eslint/no-unused-vars buildName(name: HTMLSpanElement, view: EditorView) { name.textContent = this.environment }