From 6e3681896c5eb708a4be3e22eefd067917a82e78 Mon Sep 17 00:00:00 2001 From: Francesco Spissu <94986937+francescospissu@users.noreply.github.com> Date: Wed, 10 Aug 2022 11:36:53 +0200 Subject: [PATCH] Add Auto Format item under the Edit menu (#1230) --- .../src/browser/contributions/edit-contributions.ts | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/arduino-ide-extension/src/browser/contributions/edit-contributions.ts b/arduino-ide-extension/src/browser/contributions/edit-contributions.ts index c66b4186..7c75c722 100644 --- a/arduino-ide-extension/src/browser/contributions/edit-contributions.ts +++ b/arduino-ide-extension/src/browser/contributions/edit-contributions.ts @@ -141,6 +141,11 @@ ${value} label: nls.localize('arduino/editor/decreaseIndent', 'Decrease Indent'), order: '2', }); + registry.registerMenuAction(ArduinoMenus.EDIT__CODE_CONTROL_GROUP, { + commandId: EditContributions.Commands.AUTO_FORMAT.id, + label: nls.localize('arduino/editor/autoFormat', 'Auto Format'), + order: '3', + }); registry.registerMenuAction(ArduinoMenus.EDIT__FONT_CONTROL_GROUP, { commandId: EditContributions.Commands.INCREASE_FONT_SIZE.id, @@ -248,10 +253,13 @@ ${value} }); } - protected async current(): Promise { + protected async current(): Promise< + ICodeEditor | StandaloneCodeEditor | undefined + > { return ( this.codeEditorService.getFocusedCodeEditor() || - this.codeEditorService.getActiveCodeEditor() || undefined + this.codeEditorService.getActiveCodeEditor() || + undefined ); }