await refresh

pull/1342/head
filip mertens 3 years ago committed by davidzagi93@gmail.com
parent 57627a7175
commit 2dcd88c62a
  1. 6
      apps/remix-ide/src/app/files/dgitProvider.js

@ -90,7 +90,7 @@ class DGitProvider extends Plugin {
...await this.getGitConfig(),
...cmd
})
this.call('fileManager', 'refresh')
await this.call('fileManager', 'refresh')
}
async rm (cmd) {
@ -98,7 +98,7 @@ class DGitProvider extends Plugin {
...await this.getGitConfig(),
...cmd
})
this.call('fileManager', 'refresh')
await this.call('fileManager', 'refresh')
}
async checkout (cmd) {
@ -131,7 +131,7 @@ class DGitProvider extends Plugin {
...await this.getGitConfig(),
...cmd
})
this.call('fileManager', 'refresh')
await this.call('fileManager', 'refresh')
return status
}

Loading…
Cancel
Save