Retry after re-linking reference provider (#7904)

GitOrigin-RevId: f34e78e4594404ec74acaa40230d8bfe9dcd7661
2026-05-23 17:19:37 +02:00 · 2022-05-16 10:44:28 +01:00
parent d68180bc4e
commit cd09e2c029
1 changed files with 2 additions and 2 deletions
--- 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
      })
    }