Function refreshOpenFiles

gui/src/context/SubmenuContextProviders.tsx:181–207

()

    let isMounted = true;
    const refreshOpenFiles = async () => {
      if (!isMounted) return;

      const openFiles = await ideMessenger.ide.getOpenFiles();
      const workspaceDirs = await ideMessenger.ide.getWorkspaceDirs();
      const withUniquePaths = getShortestUniqueRelativeUriPaths(
        openFiles,
        workspaceDirs,
      );
      const openFileItems = withUniquePaths.map((file) => ({
        id: file.uri,
        title: getUriPathBasename(file.uri),
        description: file.uniquePath,
        providerTitle: "file",
      }));

      if (hasOpenFilesChanged(openFileItems, lastOpenFilesRef.current)) {
        setFallbackResults((prev) => ({
          ...prev,
          file: deduplicateArray(
            [...openFileItems, ...(prev.file ?? [])],
            (a, b) => a.id === b.id,
          ),
        }));
      }
      lastOpenFilesRef.current = openFileItems;
    };

    const interval = setInterval(refreshOpenFiles, 2000);