fix: make editor readonly if resource is readonly

Closes: #1501 Ref: eclipse-theia/theia#12354 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
arduino · kittaakos · Sep 29, 2023 · Sep 1, 2023 · Sep 12, 2023 · Sep 12, 2023
commit 368ea63b43f9ab7d90e40208d6ec479871f61a7d
diff --git a/arduino-ide-extension/src/browser/theia/monaco/monaco-text-model-service.ts b/arduino-ide-extension/src/browser/theia/monaco/monaco-text-model-service.ts
@@ -19,7 +19,9 @@ export class MonacoTextModelService extends TheiaMonacoTextModelService {
     const factory = this.factories
       .getContributions()
       .find(({ scheme }) => resource.uri.scheme === scheme);
-    const readOnly = this.sketchesServiceClient.isReadOnly(resource.uri);
+    const readOnly =
+      Boolean(resource.isReadonly) ||
+      this.sketchesServiceClient.isReadOnly(resource.uri);
     return factory
       ? factory.createModel(resource)
       : new MaybeReadonlyMonacoEditorModel(