From 23450ce8634e098bd6d2ad8fc45035f13e108349 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Mon, 20 Jul 2020 13:58:47 +0200
Subject: [PATCH] removed auto-save.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/theia/core/common-frontend-contribution.ts     | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts b/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts
index adbd140d..e9ddfc36 100644
--- a/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts
+++ b/arduino-ide-extension/src/browser/theia/core/common-frontend-contribution.ts
@@ -15,7 +15,8 @@ export class CommonFrontendContribution extends TheiaCommonFrontendContribution
             CommonCommands.PASTE,
             CommonCommands.COPY_PATH,
             CommonCommands.FIND,
-            CommonCommands.REPLACE
+            CommonCommands.REPLACE,
+            CommonCommands.AUTO_SAVE
         ]) {
             registry.unregisterMenuAction(command);
         }