From cd09e2c029e3b045aabde36f242c47b9dce06dfe Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Mon, 16 May 2022 10:44:28 +0100
Subject: [PATCH] Retry after re-linking reference provider (#7904)

GitOrigin-RevId: f34e78e4594404ec74acaa40230d8bfe9dcd7661
---
 .../js/features/file-tree/controllers/file-tree-controller.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/frontend/js/features/file-tree/controllers/file-tree-controller.js b/services/web/frontend/js/features/file-tree/controllers/file-tree-controller.js
index ebd5b90d48..c8ceaff5a1 100644
--- a/services/web/frontend/js/features/file-tree/controllers/file-tree-controller.js
+++ b/services/web/frontend/js/features/file-tree/controllers/file-tree-controller.js
@@ -89,9 +89,9 @@ App.controller(
       true
     )
 
-    $scope.setRefProviderEnabled = provider => {
+    $scope.setRefProviderEnabled = (provider, value = true) => {
       ide.$scope.$applyAsync(() => {
-        ide.$scope.user.refProviders[provider] = true
+        ide.$scope.user.refProviders[provider] = value
       })
     }