-
+ {this.props.connectionStatus.offlineStatus === 'internet' ? (
+
+ ) : (
+
+ )}
);
@@ -83,14 +82,17 @@ export class CloudStatus extends React.Component<
};
private get status(): 'connected' | 'offline' {
- return window.navigator.onLine ? 'connected' : 'offline';
+ return this.props.connectionStatus.offlineStatus === 'internet'
+ ? 'offline'
+ : 'connected';
}
}
-export namespace UserStatus {
+export namespace CloudStatus {
export interface Props {
readonly model: CloudSketchbookTreeModel;
readonly authenticationService: AuthenticationClientService;
+ readonly connectionStatus: ApplicationConnectionStatusContribution;
}
export interface State {
status: 'connected' | 'offline';
diff --git a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx
index 1c3323227..20cab5d68 100644
--- a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx
+++ b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx
@@ -23,7 +23,6 @@ import {
SketchesServiceClientImpl,
} from '../../sketches-service-client-impl';
import { SelectableTreeNode } from '@theia/core/lib/browser/tree/tree-selection';
-import { Sketch } from '../../contributions/contribution';
import { nls } from '@theia/core/lib/common';
const customTreeProps: TreeProps = {
@@ -91,8 +90,8 @@ export class SketchbookTreeWidget extends FileTreeWidget {
node: TreeNode,
props: NodeProps
): React.ReactNode {
- if (SketchbookTree.SketchDirNode.is(node) || Sketch.isSketchFile(node.id)) {
- return