mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-08 19:08:33 +00:00
@@ -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);
|
||||
}
|
||||
|
Reference in New Issue
Block a user