Remove unused full arguments

As distinct from removing destructured props.

GitOrigin-RevId: d02ad8d36fb532559ed2899268d7b699f2f2fa37
This commit is contained in:
andrew rumble
2025-06-11 08:05:46 +00:00
committed by Copybot
parent eb60d364f6
commit 4960569648
28 changed files with 49 additions and 67 deletions
@@ -7,7 +7,7 @@ export class EndWidget extends WidgetType {
return element
}
eq(widget: EndWidget) {
eq() {
return true
}
@@ -1,4 +1,4 @@
import { EditorView, WidgetType } from '@codemirror/view'
import { WidgetType } from '@codemirror/view'
export class EnvironmentLineWidget extends WidgetType {
constructor(
@@ -8,7 +8,7 @@ export class EnvironmentLineWidget extends WidgetType {
super()
}
toDOM(view: EditorView) {
toDOM() {
const element = document.createElement('div')
element.classList.add(`ol-cm-environment-${this.environment}`)
element.classList.add('ol-cm-environment-edge')