jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-25 20:26:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

removed unused code.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2020-08-01 15:40:24 +02:00
parent ada0f4c7ed
commit fc866464ad
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
View File

@ -17,9 +17,7 @@ export class EditorManager extends TheiaEditorManager {
const { editor } = widget; const { editor } = widget;
if (editor instanceof MonacoEditor) { if (editor instanceof MonacoEditor) {
const codeEditor = editor.getControl(); const codeEditor = editor.getControl();
const lineNumbersMinChars = 2; codeEditor.updateOptions({ readOnly });
const overviewRulerLanes = 0;
codeEditor.updateOptions({ readOnly, lineNumbersMinChars, overviewRulerLanes });
} }
} }
return widget; return widget;