From d9d8e58056756ab9780e8a450d137ba193832da7 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Wed, 9 Nov 2022 11:47:34 +0100 Subject: [PATCH] fix clone check --- apps/remix-ide/src/app/files/dgitProvider.js | 1 + libs/remix-ui/workspace/src/lib/actions/workspace.ts | 3 +++ 2 files changed, 4 insertions(+) diff --git a/apps/remix-ide/src/app/files/dgitProvider.js b/apps/remix-ide/src/app/files/dgitProvider.js index 58af2f7ea3..9fd3fa7e37 100644 --- a/apps/remix-ide/src/app/files/dgitProvider.js +++ b/apps/remix-ide/src/app/files/dgitProvider.js @@ -266,6 +266,7 @@ class DGitProvider extends Plugin { await this.call('fileManager', 'refresh') }, 1000) } + this.emit('clone') return result } diff --git a/libs/remix-ui/workspace/src/lib/actions/workspace.ts b/libs/remix-ui/workspace/src/lib/actions/workspace.ts index 6f509f6c12..379df09a37 100644 --- a/libs/remix-ui/workspace/src/lib/actions/workspace.ts +++ b/libs/remix-ui/workspace/src/lib/actions/workspace.ts @@ -41,6 +41,9 @@ export const setPlugin = (filePanelPlugin, reducerDispatch) => { plugin.on('dGitProvider', 'branch', async () => { await checkGit() }) + plugin.on('dGitProvider', 'clone', async () => { + await checkGit() + }) plugin.on('config', 'configChanged', async () => { await getGitConfig() })