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
This commit is contained in:
Andrew Rumble
2024-10-04 12:04:56 +01:00
committed by Copybot
parent 4960569648
commit c1f5d7c40c

View File

@@ -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
}