diff --git a/arduino-ide-extension/src/browser/theia/editor/editor-manager.ts b/arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
index 14143691..1681943f 100644
--- a/arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
+++ b/arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
@@ -17,9 +17,7 @@ export class EditorManager extends TheiaEditorManager {
             const { editor } = widget;
             if (editor instanceof MonacoEditor) {
                 const codeEditor = editor.getControl();
-                const lineNumbersMinChars = 2;
-                const overviewRulerLanes = 0;
-                codeEditor.updateOptions({ readOnly, lineNumbersMinChars, overviewRulerLanes });
+                codeEditor.updateOptions({ readOnly });
             }
         }
         return widget;