-
bunsenstraat authored
first discard the file, then call fileRemoved which causes the unselectCurrentFile to resave the file.
bb23300c
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| styles | ||
| compiler-metadata.js | ||
| file-explorer.js | ||
| fileManager.js | ||
| fileProvider.js | ||
| git-handle.js | ||
| remixDProvider.js | ||
| remixd-handle.js |