temp: downgrade version (for testing purposes)

Author: Alberto Iannaccone

Diff for: arduino-ide-extension/package.json

@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "2.0.0-beta.7",
+  "version": "2.0.0-beta.6",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "AGPL-3.0-or-later",
   "scripts": {

Diff for: arduino-ide-extension/src/browser/contributions/new-version-notification.ts

@@ -19,11 +19,15 @@ export class NewVersionNotification implements FrontendApplicationContribution {
 
     async onStart(): Promise<void> {
         if (await this.updatesRetriever.isUpdateAvailable()) {
-            this.messageService.info('New Arduino IDE version available.', GO_TO_DOWNLOAD_PAGE).then(async answer => {
-                if (answer === GO_TO_DOWNLOAD_PAGE) {
-                    shell.openExternal('https://www.arduino.cc/en/software#experimental-software');
-                }
-            })
+            this.messageService
+                .info('New Arduino IDE version available.', GO_TO_DOWNLOAD_PAGE)
+                .then(async (answer) => {
+                    if (answer === GO_TO_DOWNLOAD_PAGE) {
+                        shell.openExternal(
+                            'https://www.arduino.cc/en/software#experimental-software'
+                        );
+                    }
+                });
         }
     }
 }

Diff for: browser-app/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "2.0.0-beta.7",
+  "version": "2.0.0-beta.6",
   "license": "AGPL-3.0-or-later",
   "dependencies": {
     "@theia/core": "next",
@@ -19,7 +19,8 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "2.0.0-beta.7"
+    "arduino-ide-extension": "2.0.0-beta.6"
+
   },
   "devDependencies": {
     "@theia/cli": "next"

Diff for: electron-app/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "2.0.0-beta.7",
+  "version": "2.0.0-beta.6",
   "license": "AGPL-3.0-or-later",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -21,7 +21,7 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "2.0.0-beta.7"
+    "arduino-ide-extension": "2.0.0-beta.6"
   },
   "devDependencies": {
     "@theia/cli": "next"

Diff for: package.json

@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide",
-  "version": "2.0.0-beta.7",
+  "version": "2.0.0-beta.6",
   "description": "Arduino IDE",
   "repository": "https://github.com/bcmi-labs/arduino-editor.git",
   "author": "Arduino SA",