Updated to 2.0.0-beta.8

arduino-ide-extension/package.json

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

arduino-ide-extension/src/browser/create/create-fs-provider.ts

@@ -29,11 +29,7 @@ import { CreateUri } from './create-uri';
 import { SketchesService } from '../../common/protocol';
 import { ArduinoPreferences } from '../arduino-preferences';
 
-export const REMOTE_ONLY_FILES = [
-    'sketch.json',
-    'thingsProperties.h',
-    'thingProperties.h',
-];
+export const REMOTE_ONLY_FILES = ['sketch.json'];
 
 @injectable()
 export class CreateFsProvider