From 94ba4ecd8c5d8d7f70c8d02ec36dcbcfe0393b34 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Thu, 25 Apr 2024 10:43:57 +0200 Subject: [PATCH] dgit issue --- apps/remix-ide/src/remixAppManager.js | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/apps/remix-ide/src/remixAppManager.js b/apps/remix-ide/src/remixAppManager.js index a7eb152aa4..1e8b81a62a 100644 --- 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) })