fix: reverted unneeded changes

Signed-off-by: Akos Kitta <[email protected]>
arduino · Feb 21, 2023 · e7f1699 · e7f1699
1 parent e43bcba
commit e7f1699
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 7 deletions.
diff --git a/...-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-composite-widget.tsx b/...-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-composite-widget.tsx
@@ -23,6 +23,7 @@ export class CloudSketchbookCompositeWidget extends BaseSketchbookCompositeWidge
   private readonly cloudSketchbookTreeWidget: CloudSketchbookTreeWidget;
   @inject(ApplicationConnectionStatusContribution)
   private readonly connectionStatus: ApplicationConnectionStatusContribution;
+
   private _session: AuthenticationSession | undefined;
 
   constructor() {

diff --git a/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree-widget.tsx b/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree-widget.tsx
@@ -81,10 +81,7 @@ export class CloudSketchbookTreeWidget extends SketchbookTreeWidget {
     return CompositeTreeNode.is(node) && node.children.length === 0;
   }
 
-  protected override createNodeClassNames(
-    node: any,
-    props: NodeProps
-  ): string[] {
+  protected override createNodeClassNames(node: any, props: NodeProps): string[] {
     const classNames = super.createNodeClassNames(node, props);
 
     if (

diff --git a/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree.ts b/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree.ts
@@ -512,7 +512,7 @@ export class CloudSketchbookTree extends SketchbookTree {
     };
   }
 
-  protected readonly unpulledOfflineDecoration: WidgetDecoration.Data = {
+  protected readonly notInSyncOfflineDecoration: WidgetDecoration.Data = {
     fontData: {
       color: 'var(--theia-activityBar-inactiveForeground)',
     },
@@ -578,9 +578,9 @@ export class CloudSketchbookTree extends SketchbookTree {
       !CloudSketchbookTree.CloudSketchTreeNode.isSynced(node) &&
       this.connectionStatus.offlineStatus === 'internet'
     ) {
-      this.mergeDecoration(node, this.unpulledOfflineDecoration);
+      this.mergeDecoration(node, this.notInSyncOfflineDecoration);
     } else {
-      this.removeDecoration(node, this.unpulledOfflineDecoration);
+      this.removeDecoration(node, this.notInSyncOfflineDecoration);
     }
 
     return node;