force some files to be read-only

Author: Alberto Iannaccone

Diff for: arduino-ide-extension/src/common/protocol/sketches-service-client-impl.ts

@@ -12,6 +12,12 @@ import { Sketch, SketchesService } from '../../common/protocol';
 import { ConfigService } from './config-service';
 import { SketchContainer } from './sketches-service';
 
+const READ_ONLY_FILES = [
+  'thingProperties.h',
+  'thingsProperties.h',
+  'sketch.json',
+];
+
 @injectable()
 export class SketchesServiceClientImpl
   implements FrontendApplicationContribution
@@ -172,6 +178,9 @@ export class SketchesServiceClientImpl
     if (toCheck.scheme === 'user-storage') {
       return false;
     }
+    if (READ_ONLY_FILES.includes(toCheck?.path?.base)) {
+      return true;
+    }
     const readOnly = !this.workspaceService
       .tryGetRoots()
       .some(({ resource }) => resource.isEqualOrParent(toCheck));