diff --git a/arduino-ide-extension/src/browser/theia/editor/editor-contribution.ts b/arduino-ide-extension/src/browser/theia/editor/editor-contribution.ts
index f7b01b2a3..9ff0bd46e 100644
--- a/arduino-ide-extension/src/browser/theia/editor/editor-contribution.ts
+++ b/arduino-ide-extension/src/browser/theia/editor/editor-contribution.ts
@@ -10,4 +10,12 @@ export class EditorContribution extends TheiaEditorContribution {
   ): void {
     // NOOP
   }
+
+  protected override updateEncodingStatus(
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars, unused-imports/no-unused-vars
+    editor: TextEditor | undefined
+  ): void {
+    // https://github.com/arduino/arduino-ide/issues/1393
+    // NOOP
+  }
 }