From f618eb5cec026f8ffef1f9cfe9b79f56fd36f2f7 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Wed, 13 Dec 2023 13:19:27 +0100 Subject: [PATCH] dgit --- apps/remix-ide/src/remixAppManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/remix-ide/src/remixAppManager.js b/apps/remix-ide/src/remixAppManager.js index 4517573f12..daf3c8aa0f 100644 --- a/apps/remix-ide/src/remixAppManager.js +++ b/apps/remix-ide/src/remixAppManager.js @@ -276,7 +276,7 @@ export class RemixAppManager extends PluginManager { } return plugins.map(plugin => { - if (plugin.name === 'dgit') { plugin.url = 'https://dgit4-76cc9.web.app/' } + if (plugin.name === 'dgit' && Registry.getInstance().get('platform').api.isDesktop()) { plugin.url = 'https://dgit4-76cc9.web.app/' } // temporary fix if (plugin.name === testPluginName) plugin.url = testPluginUrl return new IframePlugin(plugin) })