From fc866464adabbc048c3ba4df9cf1fef4c85e1bf3 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Sat, 1 Aug 2020 15:40:24 +0200
Subject: [PATCH] removed unused code.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/theia/editor/editor-manager.ts                | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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;