changed comment and rm filemanager

pull/1218/head
filip mertens 4 years ago
parent 71bb22ce5b
commit 432631f7e8
  1. 2
      apps/remix-ide/src/app.js
  2. 5
      apps/remix-ide/src/app/files/dgitProvider.js
  3. 3
      apps/remix-ide/src/app/files/fileManager.js

@ -259,7 +259,7 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
const fileManager = new FileManager(editor, appManager)
registry.put({ api: fileManager, name: 'filemanager' })
// ----------------- dGit provider ---------------------------------
const dGitProvider = new DGitProvider(fileManager)
const dGitProvider = new DGitProvider()
// ----------------- import content service ------------------------
const contentImport = new CompilerImport(fileManager)

@ -24,9 +24,8 @@ const profile = {
kind: 'file-system'
}
class DGitProvider extends Plugin {
constructor (fileManager) {
constructor () {
super(profile)
this.fileManager = fileManager
this.ipfsconfig = {
host: 'ipfs.komputing.org',
port: 443,
@ -357,7 +356,7 @@ class DGitProvider extends Plugin {
async getDirectory (dir) {
let result = []
const files = await this.fileManager.readdir(dir)
const files = await this.call('fileManager', 'readdir', dir)
const fileArray = normalize(files)
for (const fi of fileArray) {
if (fi) {

@ -131,11 +131,10 @@ class FileManager extends Plugin {
/*
* refresh the file explorer
* TODO: it's a hack, can be better
*/
refresh () {
const provider = this.fileProviderOf('/')
// emit folderAdded so that File Explorer reloads the file tree
provider.event.emit('folderAdded', '/')
}

Loading…
Cancel
Save