dgit issue

7 months ago · 94ba4ecd8c
parent 68b4c61c9e
commit 94ba4ecd8c
1 changed files with 1 additions and 4 deletions
--- a/apps/remix-ide/src/remixAppManager.js
+++ b/apps/remix-ide/src/remixAppManager.js
@ -281,11 +281,8 @@ export class RemixAppManager extends PluginManager {
      }
    }

-    plugins = plugins.filter((plugin) => {
-      return plugin.name !== 'dgit'
-    })
-
    return plugins.map(plugin => {
+      if (plugin.name === 'dgit' && Registry.getInstance().get('platform').api.isDesktop()) { plugin.url = 'https://dgit4-76cc9.web.app/' }
      if (plugin.name === testPluginName) plugin.url = testPluginUrl
      return new IframePlugin(plugin)
    })