restore Auto Format under Tools menu

Author: francescospissu

arduino-ide-extension/src/browser/contributions/edit-contributions.ts

@@ -193,6 +193,13 @@ ${value}
       ), // XXX: The Java IDE uses `Use Selection For Find`.
       order: '3',
     });
+
+    // `Tools`
+    registry.registerMenuAction(ArduinoMenus.TOOLS__MAIN_GROUP, {
+      commandId: EditContributions.Commands.AUTO_FORMAT.id,
+      label: nls.localize('arduino/editor/autoFormat', 'Auto Format'), // XXX: The Java IDE uses `Use Selection For Find`.
+      order: '0',
+    });
   }
 
   override registerKeybindings(registry: KeybindingRegistry): void {

arduino-ide-extension/src/browser/menu/arduino-menus.ts

@@ -86,7 +86,7 @@ export namespace ArduinoMenus {
 
   // -- Tools
   export const TOOLS = [...MAIN_MENU_BAR, '4_tools'];
-  // `Archive Sketch`, `Manage Libraries...`, `Serial Monitor`, Serial Plotter
+  // `Auto Format`, `Archive Sketch`, `Manage Libraries...`, `Serial Monitor`, Serial Plotter
   export const TOOLS__MAIN_GROUP = [...TOOLS, '0_main'];
   // `WiFi101 /  WiFiNINA Firmware Updater`
   export const TOOLS__FIRMWARE_UPLOADER_GROUP = [