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); }