mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

await refresh

Browse Source
pull/5370/head
filip mertens 3 years ago
parent f84e9c741c
commit dd906638c6
1 changed files with 3 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 6
      apps/remix-ide/src/app/files/dgitProvider.js

6
apps/remix-ide/src/app/files/dgitProvider.js
Unescape View File

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

Write Preview
Loading…
Cancel
Save