From c227c1e2d9441eea611a0d3bda47367236ba826d Mon Sep 17 00:00:00 2001 From: Andrew Rumble Date: Tue, 10 Jun 2025 10:10:55 +0100 Subject: [PATCH] Remove some unused variables These miseed the lint rule as they were merged between the last rebase and deploy. GitOrigin-RevId: 16b1117d56f2fc824509b9a0f340dba2ede9902f --- .../js/features/source-editor/extensions/history-ot.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/services/web/frontend/js/features/source-editor/extensions/history-ot.ts b/services/web/frontend/js/features/source-editor/extensions/history-ot.ts index b10a629189..5f6c8796f0 100644 --- a/services/web/frontend/js/features/source-editor/extensions/history-ot.ts +++ b/services/web/frontend/js/features/source-editor/extensions/history-ot.ts @@ -41,7 +41,7 @@ export const shareDocState = StateField.define({ return null }, - update(value, transaction) { + update(value) { // this state is constant return value }, @@ -134,7 +134,7 @@ class ChangeDeletedWidget extends WidgetType { return widget } - eq(old: ChangeDeletedWidget) { + eq() { return true } } @@ -407,7 +407,7 @@ class PositionMapper { }) this.offsets.toCM6.push({ pos: change.range.pos, - map: pos => deletePos - oldOffset, + map: () => deletePos - oldOffset, }) this.offsets.toCM6.push({ pos: change.range.pos + deleteLength,