From 3a46f3e465525878a720c1dcd7f577ceea53c3f4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= <kristof.toth@avatao.com>
Date: Tue, 12 Jun 2018 19:44:36 +0200
Subject: [PATCH] Disable debugger margin and minimap of editor

---
 src/app/ide/ide.component.ts | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/app/ide/ide.component.ts b/src/app/ide/ide.component.ts
index 0fe7d86..854e911 100644
--- a/src/app/ide/ide.component.ts
+++ b/src/app/ide/ide.component.ts
@@ -46,7 +46,12 @@ export class IdeComponent implements OnInit {
   autosave = null;
 
   language: string = config.ide.defaultLanguage;
-  editorOptions = {theme: 'vs-dark', language: 'python'};
+  editorOptions = {
+    theme: 'vs-dark',
+    language: 'python',
+    glyphMargin: false,
+    minimap: {enabled: false}
+  };
 
   @Output() newLogs = new EventEmitter<any>();