jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-12 03:39:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

add refresh icon to fontawesome (#493)

Browse Source
This commit is contained in:
Alberto Iannaccone
2021-09-02 11:49:44 +01:00
committed by GitHub
parent a8ec7c2640
commit 3f8a07654d
7 changed files with 720 additions and 681 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-user-status.tsx
View File

@@ -63,7 +63,7 @@ export class UserStatus extends React.Component<
</div>
<div className="actions item flex-line">
<div
className={`refresh-icon ${
className={`fa fa-reload ${
(this.state.refreshing && 'rotating') || ''
}`}
style={{ cursor: 'pointer' }}
@@ -100,7 +100,10 @@ export class UserStatus extends React.Component<
private onDidClickRefresh = () => {
this.setState({ refreshing: true });
this.props.model.updateRoot().then(() => {
Promise.all([
this.props.model.updateRoot(),
new Promise((resolve) => setTimeout(() => resolve(true), 1000)),
]).then(() => {
this.props.model.sketchbookTree().refresh();
this.setState({ refreshing: false });
});