fix: remove unused API

Signed-off-by: Akos Kitta <[email protected]>
arduino · Feb 27, 2023 · e36127a · e36127a
1 parent 613883f
commit e36127a
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/arduino-ide-extension/src/browser/create/create-features.ts b/arduino-ide-extension/src/browser/create/create-features.ts
@@ -91,15 +91,6 @@ export class CreateFeatures implements FrontendApplicationContribution {
     return this._enabled;
   }
 
-  get cloudSketchStates(): {
-    uri: URI;
-    state: CloudSketchState | undefined;
-  }[] {
-    return Array.from(this._cloudSketchStates.entries()).map(
-      ([uri, state]) => ({ uri: new URI(uri), state })
-    );
-  }
-
   cloudSketchState(uri: URI): CloudSketchState | undefined {
     return this._cloudSketchStates.get(uri.toString());
   }